aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJosh Chen2020-05-27 22:16:42 +0200
committerJosh Chen2020-05-27 22:16:42 +0200
commitf12983b1b53c71fc416155ac4b7e2b11ed8ca9ef (patch)
treeaa8370faefd779bbdf45676e77001c25a4d3f5cc /.gitignore
parented41980ed5cee12d7c5eea2e40627e5a390a83f8 (diff)
change variable name in elim rules and fix small mistake
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions