add a dummy implementation of System.Timeout.timeout for nhc98
[ghc-base.git] / System / Console /
drwxr-xr-x   ..
-rw-r--r-- 16017 GetOpt.hs