diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-01-07 03:59:14 -0800 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-02-01 14:58:18 +0100 |
commit | 854083b44b8fe3924e1ee3926192adfae36ea16a (patch) | |
tree | 8cecdd91c7b86b7498695f2ed48dd3f3cc4eab75 /html-test/ref/mini_Bug6.html | |
parent | 6ed6c110c874a746b002aca148192c3cbc819d7f (diff) |
Filter RTS arguments from 'ghc-options' arguments (#725)
This fixes #666.
Diffstat (limited to 'html-test/ref/mini_Bug6.html')
0 files changed, 0 insertions, 0 deletions