From c2e0fef474e71b3d28dee9771aa1a1da294aaab2 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Thu, 27 Nov 2025 09:24:19 -0500 Subject: Make Omni/Jr.hs executable --- Omni/Jr.hs | 1 + 1 file changed, 1 insertion(+) mode change 100644 => 100755 Omni/Jr.hs diff --git a/Omni/Jr.hs b/Omni/Jr.hs old mode 100644 new mode 100755 index cd06a42..2de4975 --- a/Omni/Jr.hs +++ b/Omni/Jr.hs @@ -1,3 +1,4 @@ +#!/usr/bin/env run.sh {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE QuasiQuotes #-} {-# LANGUAGE NoImplicitPrelude #-} -- cgit v1.2.3