diff options
Diffstat (limited to 'production-main')
| -rw-r--r-- | production-main | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/production-main b/production-main deleted file mode 100644 index 69f1bc06..00000000 --- a/production-main +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -GUILE=${GUILE:-guile} -exec "$GUILE" -c '((@ (calp main) main) (command-line))' "$@" |