git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2294 from mietek/master

Remove unused imports

commit626a37b4063caf7b82cd9cb658cc5dd3d972cd54 authorNiklas Larsson <metaniklas@gmail.com> dateTue 19 May 2015, 16:27 (11 years ago) parentfbdd59bd2296e9
1 file changed−2
compare with master
unifiedsplit
Setup.hs−2
Setup.hs−2
@@ -19,8 +19,6 @@ import System.FilePath ((</>), splitDirectories,isAbsolute)
1919import System.Directory
2020import qualified System.FilePath.Posix as Px
2121import System.Process
22−import qualified Data.Text as T
23−import qualified Data.Text.IO as TIO
2422
2523-- After Idris is built, we need to check and install the prelude and other libs
2624