diff options
-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 |