git.iko.soy/Idris-dev
on master help sign in
Fixes from library reorg
commit2d311c14d168808a740df47384293b7733e33310 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateThu 19 Mar 2015, 19:13 (12 years ago) parent81b6b29
2 files changed+2
compare with master
unifiedsplit
.gitignore+1 idris.cabal+1
.gitignore+1
@@ -20,6 +20,7 @@ custom.mk
2020libs/base/base_doc/
2121libs/effects/effects_doc/
2222libs/prelude/prelude_doc/
23+libs/contrib/contrib_doc/
2324test/output
2425test/*[0-9][0-9][0-9]/output
2526test/*[0-9][0-9][0-9]/*.exe
idris.cabal+1
@@ -111,6 +111,7 @@ Extra-source-files:
111111
112112 libs/contrib/contrib.ipkg
113113 libs/contrib/Makefile
114+ libs/contrib/Control/*.idr
114115 libs/contrib/Control/Isomorphism/*.idr
115116 libs/contrib/Data/*.idr
116117 libs/contrib/Decidable/*.idr