aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-09-16 09:49:37 +0200
committerTom Smeding <tom@tomsmeding.com>2024-09-16 09:49:37 +0200
commit488b6bfdd505508527b26f171f966245fc32cf1f (patch)
tree9aa2c6d20745409aa2f727926facd7c7b8068167 /.gitignore
parent1ed636f013cad12ab74f5fcd264280d7504ab951 (diff)
Pick latest GHC if availableHEADmaster
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions