diff options
| author | David Waern <david.waern@gmail.com> | 2010-07-22 16:50:46 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-07-22 16:50:46 +0000 |
| commit | 4be7e1868c4973034e1b14cd11672673aa2eb64a (patch) | |
| tree | 330e4874836479a8f31008a205c386a53abf4fff /src/Documentation | |
| parent | 1aa5ee611c0dab8201d282da38c916416ee48eb1 (diff) | |
Fix a bug where we allowed --hoogle, --latex, etc without input files
Diffstat (limited to 'src/Documentation')
0 files changed, 0 insertions, 0 deletions