diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-10-07 17:18:21 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-09 08:54:02 -0400 |
commit | fd302e938ebf48c73d9f715d67ce8cd990f972ff (patch) | |
tree | 88571c423a9056fb50c365f991dacb393fe5a89f /install-sh | |
parent | ef950b19c04bc9c41920ecc9f94382653981d4bb (diff) | |
download | haskell-fd302e938ebf48c73d9f715d67ce8cd990f972ff.tar.gz |
Add -pgmlm and -optlm flags
!3798 added documentation and semantics for the flags,
but not parsing.
Diffstat (limited to 'install-sh')
0 files changed, 0 insertions, 0 deletions