diff options
| author | Ben Sima <ben@bensima.com> | 2025-12-19 22:37:22 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bensima.com> | 2025-12-19 22:37:22 -0500 |
| commit | edd856cdfb30ce6329eba0f49ed5fe978d42daa0 (patch) | |
| tree | e335ee2625167fde45b22717269e300eb0d8eb1a /Omni | |
| parent | 1cac0281ef8903468a22444eb728c30095127274 (diff) | |
Make Ci.hs executable
Diffstat (limited to 'Omni')
| -rwxr-xr-x[-rw-r--r--] | Omni/Ci.hs | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Omni/Ci.hs b/Omni/Ci.hs index aff5c7b..aff5c7b 100644..100755 --- a/Omni/Ci.hs +++ b/Omni/Ci.hs |