| changeset 1473 | 60e1fad78d58 |
| parent 1386 | 674429128152 |
| child 1492 | 2da1fe033f23 |
| 1472:8127319c02f2 | 1473:60e1fad78d58 |
|---|---|
1 module Opts where |
1 module Opts |
2 ( |
|
3 GlobalOptions(..), |
|
4 globalOptions |
|
5 ) where |
|
2 |
6 |
3 import System |
7 import System |
4 import System.Console.GetOpt |
8 import System.Console.GetOpt |
5 import Network |
9 import Network |
6 import Data.Maybe ( fromMaybe ) |
10 import Data.Maybe ( fromMaybe ) |