diff options
| author | joe <joe@jerkface.net> | 2018-06-21 22:52:55 -0400 |
|---|---|---|
| committer | joe <joe@jerkface.net> | 2018-06-21 22:52:55 -0400 |
| commit | 93526173379d57db17d6d7c0287d52d2c975203c (patch) | |
| tree | 157b22dc71a5dc9923511983f4c7618729f01658 /.gitmodules | |
| parent | 212c64c55d08c645db8f1ab8cbe7fc718261ad0b (diff) | |
Revert "silence ghc deprecation warning"
This reverts commit 7f896220887d588bad65aed5900e71823c65692e.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions