diff options
| -rwxr-xr-x[-rw-r--r--] | Omni/Jr.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Omni/Jr.hs b/Omni/Jr.hs index cd06a42..2de4975 100644..100755 --- a/Omni/Jr.hs +++ b/Omni/Jr.hs @@ -1,3 +1,4 @@ +#!/usr/bin/env run.sh {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE QuasiQuotes #-} {-# LANGUAGE NoImplicitPrelude #-} |