summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorNadrieril2019-04-06 23:41:32 +0200
committerNadrieril2019-04-06 23:41:32 +0200
commit2e29ffcff718db2f95372c6f5258338df92ea213 (patch)
tree5c81a79487a8a3c984e18fa7e0745432a3c092bb /.gitmodules
parentb0eb080caab28196a09c5b60c5b6556846732563 (diff)
More improvements to typecheck
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions