docs/users_guide/flags.xml · c83d1dcce199862c40d35544f7875c86f05b4ea5 · Alexander Kaznacheev / GHC · GitLab

Skip to content

GitLab

Explore

Sign in
Register

ghc
docs
users_guide
flags.xml

Blame Permalink

Jan 30, 2012
5cccc826

MERGED: FIX #5819: add -XDataKinds to the language options section of the user's guide · 5cccc826
Ian Lynagh authored Jan 30, 2012

5cccc826

MERGED: FIX #5819: add -XDataKinds to the language options section of the user's guide
Ian Lynagh authored Jan 30, 2012

Loading