Skip to content
GitLab
Explore
Sign in
Register
Rachel Shen
GHC
Repository
ghc
docs
users_guide
expected-undocumented-flags.txt
Find file
Blame
History
Permalink
expected-undocumented-flags remove kill flags
· 4891c18a
Kathryn Spiers
authored
Sep 03, 2020
and
Marge Bot
committed
Sep 03, 2020
It looks like the flags were removed in
ghc/ghc@3e27205a
and can safely be removed here
4891c18a