diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 00:37:13 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 12:46:56 +0100 |
| commit | bae468bb60c31ed0a24193ba50fa5f6953d10d3a (patch) | |
| tree | e595122cc07e9f01a2f2bf3458705ab40b518a8c /html-test/src/PruneWithWarning.hs | |
| parent | bfd47453c76c7fb849c50eed750f61e28dc5cbdb (diff) | |
Document --use-unicode flag
Diffstat (limited to 'html-test/src/PruneWithWarning.hs')
0 files changed, 0 insertions, 0 deletions