| changeset 134 | a84aa262847c |
| parent 133 | c3c3e48b0603 |
| child 135 | 27065f8a19d3 |
--- a/server/src/manage.py Mon Jun 08 00:50:40 2015 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,10 +0,0 @@ -#!/usr/bin/env python -import os -import sys - -if __name__ == "__main__": - os.environ.setdefault("DJANGO_SETTINGS_MODULE", "settings.dev") - - from django.core.management import execute_from_command_line - - execute_from_command_line(sys.argv)