diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-24 14:52:49 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-24 14:52:49 +0000 |
| commit | a415c833192b7b8a125c8ec3fe20375e9beab78a (patch) | |
| tree | 2ea8891ce204cf5f9182525e228c0e549a7692a7 /src/GF/Infra/Option.hs | |
| parent | cc2442bec4e5e0c5eef640f9ec298562e60b5d78 (diff) | |
Export modifyFlags and modifyModuleFlags from GF.Infra.Options.
Diffstat (limited to 'src/GF/Infra/Option.hs')
| -rw-r--r-- | src/GF/Infra/Option.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 563d6180e..515f923f2 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -14,6 +14,7 @@ module GF.Infra.Option addOptions, concatOptions, noOptions, moduleOptions, addModuleOptions, concatModuleOptions, noModuleOptions, + modifyFlags, modifyModuleFlags, helpMessage, -- * Checking specific options flag, moduleFlag, |