git.iko.soy/Idris-dev
on master help sign in
Fixed cabal indentation.
9d5e011Jan de Muijnck-Hughes
idris.cabal+1−1
compare with master
unifiedsplit
@@ -126,7 +126,7 @@ Extra-source-files:
126 libs/effects/Makefile
126 libs/effects/Makefile
127 libs/effects/effects.ipkg
127 libs/effects/effects.ipkg
128 libs/effects/Effect/*.idr
128 libs/effects/Effect/*.idr
129− libs/effects/Effect/Logging/*.idr
129+ libs/effects/Effect/Logging/*.idr
130 libs/effects/*.idr
130 libs/effects/*.idr
131
131
132 test/Makefile
132 test/Makefile