diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-11-10 09:02:46 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-11-10 09:02:46 +0000 |
| commit | b25ec6ae8934f61b9a18ac1de49b191c050892d9 (patch) | |
| tree | 2bb035a42e465fa16b8b8e2169bdc4b6a6ff7084 /src/compiler/GF/Compile/Coding.hs | |
| parent | d090d831e9a7719052b76a6a8f739e7dea998e07 (diff) | |
remove few obsolete options from GF.Infra.Options
Diffstat (limited to 'src/compiler/GF/Compile/Coding.hs')
0 files changed, 0 insertions, 0 deletions