diff options
| author | Joris | 2018-06-18 11:31:22 +0200 |
|---|---|---|
| committer | Joris | 2018-06-18 11:31:22 +0200 |
| commit | d14e302b9acf5164e04d8dfcd4dbd0aa1da48438 (patch) | |
| tree | 6a3d343869acac65d4a11aa31fcae73a44f575a8 /.gitignore | |
| parent | 0a4d3c8f12dc5797a919a00b6bcaf759947687cc (diff) | |
Use default OverloadedStrings extension
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions