aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJosh Chen2018-07-06 14:17:06 +0200
committerJosh Chen2018-07-06 14:17:06 +0200
commit1651beafbe7198a320fe87a926bf23e2ab1b784a (patch)
tree74272566201532dc9467eceb4fdbf4a99375b3b9 /.gitignore
parent76deb7ae15fa00b5498ab43db020a0364499251e (diff)
Remove extra attributes for elimination rules, unneeded for now.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions