git.iko.soy/Idris-dev
on master help sign in
Add missing modules to idris.cabal
commit095301fc4a8f7ec94c87d82f4fd1a1495e93e82e authorEdwin Brady <ecb10@st-andrews.ac.uk> dateMon 18 Feb 2013, 21:05 (14 years ago) parent82a4e9b
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -80,7 +80,7 @@ Executable idris
8080 Idris.Compiler, Idris.Prover, Idris.ElabTerm,
8181 Idris.Coverage, Idris.IBC, Idris.Unlit,
8282 Idris.DataOpts, Idris.Transforms, Idris.DSL,
83− Idris.UnusedArgs, Idris.Docs,
83+ Idris.UnusedArgs, Idris.Docs, Idris.Completion,
8484
8585 Util.Pretty, Util.System,
8686 Pkg.Package, Pkg.PParser,