diff options
| author | William Carroll <wpcarro@gmail.com> | 2018-07-19T16·10-0400 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2018-07-19T16·10-0400 |
| commit | 2211d65557fbeb88dba1f8292330cf01ed1fa219 (patch) | |
| tree | a5ba4600dbfc3d096ccf79b7251707db29ecef00 /README.md | |
| parent | a86c2ddece8fde8a42f1e6031b189d1865b9b211 (diff) | |
Delete .ghci config
Temporarily remove the GHCI config, since it's most just spamming my logs at the moment.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions