diff options
Diffstat (limited to 'Omni/Repl.py')
-rwxr-xr-x[-rw-r--r--] | Omni/Repl.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Omni/Repl.py b/Omni/Repl.py index 1cf2f65..8d191e2 100644..100755 --- a/Omni/Repl.py +++ b/Omni/Repl.py @@ -1,3 +1,4 @@ +#!/usr/bin/env run.sh """ Improve the standard Python REPL. |