diff options
Diffstat (limited to 'scripts/command/docker_env_neurun')
-rw-r--r-- | scripts/command/docker_env_neurun | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/command/docker_env_neurun b/scripts/command/docker_env_neurun deleted file mode 100644 index 53b3bbc83..000000000 --- a/scripts/command/docker_env_neurun +++ /dev/null @@ -1 +0,0 @@ -OPTIONS=-DBUILD_NEURUN=ON |