diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-05-12 10:01:46 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-12 10:05:33 +0200 |
| commit | af1a8689da1990da9a152ae8a0e51976f2a27ff6 (patch) | |
| tree | 0b7bc2846311644396fc23c3ef26c8ddd850a00e /doc/.gitignore | |
| parent | 67fbe48b9e6830d231b19c3d72960d3e9e137ea0 (diff) | |
doc: Fix GHC clean rule
Apparently GHC's build system doesn't permit wildcards in clean paths.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions