summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorNadrieril2019-03-18 02:08:26 +0100
committerNadrieril2019-03-18 02:08:26 +0100
commitd6e5c277e061d61b793286fb0ff2100cf203df89 (patch)
tree335f6352e5e974caa8910bc0fae537bafc2fe18f /.gitmodules
parentf112145814ed8243904d97c92a15bbdb7053d1a0 (diff)
Improve ergonomics of typechecking
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions