diff options
| -rwxr-xr-x | src/local/server-tools/rz-user-tool.py (renamed from src/local/server-tools/rz_user.py) | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/local/server-tools/rz_user.py b/src/local/server-tools/rz-user-tool.py index 1f01f699..0ae7018a 100755 --- a/src/local/server-tools/rz_user.py +++ b/src/local/server-tools/rz-user-tool.py @@ -1,3 +1,5 @@ +#!/usr/bin/python2.7 + # This file is part of rhizi, a collaborative knowledge graph editor. # Copyright (C) 2014-2015 Rhizi # @@ -14,9 +16,6 @@ # You should have received a copy of the GNU Affero General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. - -#!/usr/bin/python2.7 - import argparse import os import pickle |