git.iko.soy/Idris-dev
on master help sign in
Fixed missing entry in Cabal file.
44dad1cJan de Muijnck-Hughes
idris.cabal+1−1
compare with master
unifiedsplit
@@ -123,7 +123,7 @@ Extra-source-files:
123 libs/effects/Makefile
123 libs/effects/Makefile
124 libs/effects/effects.ipkg
124 libs/effects/effects.ipkg
125 libs/effects/Effect/*.idr
125 libs/effects/Effect/*.idr
126− libs/effects/Effect/*.idr
126+ libs/effects/Effect/Logging/*.idr
127 libs/effects/*.idr
127 libs/effects/*.idr
128
128
129 test/Makefile
129 test/Makefile