summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorNadrieril2019-04-18 17:29:17 +0200
committerNadrieril2019-04-18 17:42:33 +0200
commitf4a50a5da10eb2de1d7cf00ad6f6765605da366d (patch)
tree4c9595d91a1b83ba1430d10a3583ca43a91f6831 /.gitmodules
parent9c8ba84fa5d0b392f19e9e9b8569ee2fbe96bd28 (diff)
Make normalize manipulate SubExprs more directly
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions