From 4fa5948dafdb102ad0ab1cd3753d910929534673 Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Thu, 8 Dec 2022 10:33:21 +0000 Subject: Initial commit. --- .gitignore | 1 + obs.ipkg | 5 +++++ src/Obs.idr | 0 3 files changed, 6 insertions(+) create mode 100644 .gitignore create mode 100644 obs.ipkg create mode 100644 src/Obs.idr diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..84c048a --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/build/ diff --git a/obs.ipkg b/obs.ipkg new file mode 100644 index 0000000..4a5cafc --- /dev/null +++ b/obs.ipkg @@ -0,0 +1,5 @@ +package obs +authors = "Greg Brown" +sourcedir = "src" + +modules = Obs diff --git a/src/Obs.idr b/src/Obs.idr new file mode 100644 index 0000000..e69de29 -- cgit v1.2.3