Remove tutorial from idris.cabal
commite6a906a891bfe6749c6568b1bbccc4bfffb9b95e
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 2 Dec 2013, 23:34 (13 years ago)
parent86a0c3a
idris.cabal−2
@@ -102,8 +102,6 @@ Extra-source-files:
102102 llvm/*.c
103103 llvm/Makefile
104104
105− tutorial/examples/*.idr
106−
107105 test/Makefile
108106 test/runtest.pl
109107 test/reg001/run