| changeset 149 | 8e117699857a |
| parent 148 | 9f6f17de6d98 |
| parent 142 | 925337e6983d |
| child 150 | 78e82bf8ff89 |
--- a/server/src/manage.py Tue Jun 09 19:13:29 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") - - from django.core.management import execute_from_command_line - - execute_from_command_line(sys.argv)