diff options
| author | Crazazy | 2024-01-13 13:38:23 +0100 |
|---|---|---|
| committer | Crazazy | 2024-01-13 13:38:23 +0100 |
| commit | 6782939dd76c7f958960740e90f9da70345dde6a (patch) | |
| tree | 036f70785178c54e1441510e7fe37e6157194602 /.gitignore | |
| parent | b6838ec0a7adb748899688cd93fb4767ea6bf589 (diff) | |
don't use custom ghci
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions