git.iko.soy/Idris-dev
on master help sign in
remove stray tab character from idris.cabal
commite1311a2baf8d0e9480b3ed9c029c17b6dfb70e69 authorraichoo <raichoo@googlemail.com> dateThu 21 May 2015, 23:03 (11 years ago) parenta4b8b0f
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -114,7 +114,7 @@ Extra-source-files:
114114 libs/contrib/Classes/*.idr
115115 libs/contrib/Control/*.idr
116116 libs/contrib/Control/Isomorphism/*.idr
117− libs/contrib/Control/Algebra/*.idr
117+ libs/contrib/Control/Algebra/*.idr
118118 libs/contrib/Data/*.idr
119119 libs/contrib/Decidable/*.idr
120120 libs/contrib/Network/*.idr