diff options
| author | Kyrill Briantsev <kyrab@mail.ru> | 2017-01-12 13:23:50 +0300 |
|---|---|---|
| committer | alexbiehl <alex.biehl@gmail.com> | 2017-04-11 21:01:42 +0200 |
| commit | e9cd7b1b52228b9ef8e1bd4e6cb1f2583740fcee (patch) | |
| tree | acc3ac9eb811942505e0b643d2c975c48117ec75 /doc/.gitignore | |
| parent | b44676d9acd36b50a93aea6882751284d00013b6 (diff) | |
Prevent GHC API from doing optimization passes.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions