diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-05-10 18:14:21 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-10 18:22:12 +0200 |
| commit | 48521cfd5ed96dd9e07f76b1c1c86fcc991867a2 (patch) | |
| tree | 849f9fcf6b99751901db9aec2db11ad556292584 /html-test/ref/PatternSyns.html | |
| parent | 955239bb7e5fc6c8714d717756c6d86cefd1e01c (diff) | |
doc: Update extra-source-files in Cabal file
Diffstat (limited to 'html-test/ref/PatternSyns.html')
0 files changed, 0 insertions, 0 deletions