diff --git a/indra/develop.py b/indra/develop.py old mode 100644 new mode 100755