diff options
author | tv <tv@shackspace.de> | 2014-09-24 19:50:24 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2014-09-24 19:50:24 +0200 |
commit | 22bf4e41654b81ffa8e2733f41bdc5444078b92f (patch) | |
tree | ac119147e7ba63eff8f0c89c9ee30ffa0d32917b | |
parent | 456e654990710af547370dcc072cb63b136f8efe (diff) |
move files around
-rw-r--r-- | COPYRIGHT.quipper (renamed from COPYRIGHT) | 0 | ||||
-rw-r--r-- | Data/XIntMap.hs (renamed from Libraries/Auxiliary.hs) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/COPYRIGHT b/COPYRIGHT.quipper index bfb4119..bfb4119 100644 --- a/COPYRIGHT +++ b/COPYRIGHT.quipper diff --git a/Libraries/Auxiliary.hs b/Data/XIntMap.hs index 6f53f9b..6f53f9b 100644 --- a/Libraries/Auxiliary.hs +++ b/Data/XIntMap.hs |