git.iko.soy/Idris-dev
on master help sign in
import slipped through
commit3f81406c2b56b96e7a986203676d523249fa0fe8 authorNorbert Melzer <timmelzer@gmail.com> dateFri 2 Jan 2015, 22:59 (12 years ago) parent7cef7ea
1 file changed+1
compare with master
unifiedsplit
main/Main.hs+1
main/Main.hs+1
@@ -5,6 +5,7 @@ import System.IO
55import System.Environment
66import System.Exit
77import System.FilePath ((</>), addTrailingPathSeparator)
8+import System.Directory
89
910import Data.Maybe
1011import Data.Version