summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorNadrieril2019-04-22 00:07:50 +0200
committerNadrieril2019-04-22 00:07:50 +0200
commit316c6ea1c5512bcc9e0a07aa63fd086eb313abc5 (patch)
tree36529717ff0e36a11a1397b171e5e3006dd18d14 /.gitmodules
parentecff0ecd47bb38937fb43e60b8d78ea92e2af01c (diff)
Avoid shift_subst in typecheck
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions