summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorNadrieril2019-04-16 19:43:09 +0200
committerNadrieril2019-04-16 19:43:09 +0200
commit12e9b4a5963482d50a42588d71f210a80db36c4b (patch)
tree82be11172e43030f641ea409902e1e34062738ce /.gitmodules
parent1cb13e7d75035fc1e7fcea76f57847f8dbbbac87 (diff)
Typecheck higher-kinded records
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions