diff options
Diffstat (limited to 'docs/users_guide/expected-undocumented-flags.txt')
| -rw-r--r-- | docs/users_guide/expected-undocumented-flags.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/users_guide/expected-undocumented-flags.txt b/docs/users_guide/expected-undocumented-flags.txt index 9861386d0c..493a713e25 100644 --- a/docs/users_guide/expected-undocumented-flags.txt +++ b/docs/users_guide/expected-undocumented-flags.txt @@ -85,7 +85,6 @@ -fversion-macros -fvia-c -haddock-opts --hpcdir -instantiated-with -keep-hi-file -keep-o-file |