diff options
| author | tv <tv@krebsco.de> | 2016-10-21 23:57:13 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-10-22 00:06:11 +0200 |
| commit | 85e9ee3ff005fe7f093f803c424801c5bfde7f49 (patch) | |
| tree | 54f994a8f335968378c2db3a01b43c782aeb5b3b /.gitignore | |
| parent | f18fabe445c0755802dafc21cecebd3206f00e05 (diff) | |
migrate to GHC 8.0
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions