diff options
| author |  Fabian Kirchner <kirchner@posteo.de> | 2023-10-15 10:55:39 +0200 |
|---|---|---|
| committer | Fabian Kirchner <kirchner@posteo.de> | 2023-10-15 10:55:39 +0200 |
| commit | e2f4e9fc842fe41cdaa3cf53375ab59b6c10b80d (patch) | |
| tree | 03c00784b4f3a89e7ad08ea9947a29be31ff4263 /.ghci | |
| parent | 225c2ff039137fcd3aa82343367f76d9d49f254c (diff) | |
minor issue adjustments
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions