aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-03-07 16:57:23 +0100
committerstuebinm2021-03-07 16:58:51 +0100
commit2ad5d413aa958a1c2fe75ce7aa155576e9a80345 (patch)
treedb48dfb66bd086fb3d7f951a15be6cb7b4bae7f7
parent3b15d761ce7159ab1669817d6cf64550db8dd23f (diff)
Add server to general repository
Idea: have all components of this program in one repository
Diffstat (limited to '')
-rw-r--r--picarones-hs/Main.lhs (renamed from Main.lhs)0
-rw-r--r--picarones-hs/default.nix (renamed from default.nix)0
-rw-r--r--picarones-hs/picarones-hs.cabal (renamed from picarones-hs.cabal)0
3 files changed, 0 insertions, 0 deletions
diff --git a/Main.lhs b/picarones-hs/Main.lhs
index 3586795..3586795 100644
--- a/Main.lhs
+++ b/picarones-hs/Main.lhs
diff --git a/default.nix b/picarones-hs/default.nix
index ebcb880..ebcb880 100644
--- a/default.nix
+++ b/picarones-hs/default.nix
diff --git a/picarones-hs.cabal b/picarones-hs/picarones-hs.cabal
index 6ed69a7..6ed69a7 100644
--- a/picarones-hs.cabal
+++ b/picarones-hs/picarones-hs.cabal