git.iko.soy/Idris-dev
on master help sign in
Fixed cabal indentation.
commit9d5e01196351eca1b46ef24a053980b3478178f2 authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateThu 27 Aug 2015, 10:14 (11 years ago) parent7a2de6d
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -126,7 +126,7 @@ Extra-source-files:
126126 libs/effects/Makefile
127127 libs/effects/effects.ipkg
128128 libs/effects/Effect/*.idr
129− libs/effects/Effect/Logging/*.idr
129+ libs/effects/Effect/Logging/*.idr
130130 libs/effects/*.idr
131131
132132 test/Makefile