diff options
| author | Ben Sima <ben@bensima.com> | 2025-11-27 09:24:19 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bensima.com> | 2025-11-27 09:24:19 -0500 |
| commit | c2e0fef474e71b3d28dee9771aa1a1da294aaab2 (patch) | |
| tree | a532e5434f676aca5f8ab868ffe8091bd2273c90 | |
| parent | dc1b9c834f3c1d38f46c4fedad00a91718f76cb9 (diff) | |
Make Omni/Jr.hs executable
| -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 #-} |