diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2021-10-09 09:51:57 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2021-10-09 09:51:57 +0200 |
| commit | ab75ec49d7248d5c908090f9ed7b234a0ff333d9 (patch) | |
| tree | 05ceeaa603d8da3788f766a25a03a2cf04a90d95 /.gitignore | |
| parent | e0eaa85475fa685351f4d609de2893c24e05f1e0 (diff) | |
Make C.hs more ghci-friendly
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions