diff options
Diffstat (limited to 'settings.py')
| -rw-r--r-- | settings.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/settings.py b/settings.py index e428b9c..80a1de2 100644 --- a/settings.py +++ b/settings.py @@ -31,7 +31,11 @@ EPOCH = date.fromisoformat('1970-01-01') # default value, then gets overwritten by real secrets SECRET_KEY = "not-the-real-secret-key-a#vaeozn0---^fj!355qki*vj2" +# executables: GIT = "git" # command for running git +CAVERN = "cavern" # for parsing .svx files and producing .3d files +SURVEXPORT = "survexport" # for parsing .3d files and producing .pos files +MOGRIFY = "mogrify" # for rotating images # Note that this builds upon the django system installed # global settings in |