diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-06-02 10:36:23 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-06-02 10:36:23 +1000 |
| commit | 1794ac8bc0230b07206dab519968343f638b11b8 (patch) | |
| tree | 7c59a2234450bd99d4d4e1b587928ee6e8ed5c1e /.gitignore | |
| parent | 90ada05cdd8d87e6e4b4f2864220b31e69e31e1a (diff) | |
more fixes to ghcutils
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions