From a9650d502470214b6c54e42ca55917c20a56b52f Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sat, 3 Aug 2024 21:16:25 +0100
Subject: Initial commit.

---
 src/Inky.idr | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/Inky.idr

(limited to 'src')

diff --git a/src/Inky.idr b/src/Inky.idr
new file mode 100644
index 0000000..c501caf
--- /dev/null
+++ b/src/Inky.idr
@@ -0,0 +1 @@
+module Inky
-- 
cgit v1.2.3