diff options
author | Marcin Szamotulski <profunctor@pm.me> | 2021-08-08 17:19:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-08 17:19:06 +0200 |
commit | 5bd9262466a0e71da4e84654a1906b76996e3692 (patch) | |
tree | f8b6c000381a10b540cb27d7c9089158075a25db /.gitignore | |
parent | be7ea34f16391d5e61326b117ecddeea2165fb86 (diff) |
coot/multiple packages (ghc-9.2) (#1418)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions