summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMagnus Ahltorp <map@kth.se>2015-03-23 09:36:24 +0100
committerMagnus Ahltorp <map@kth.se>2015-03-23 16:14:48 +0100
commit510ecc5702ea36395addc733789756ce8075517e (patch)
tree3238cff581e52eb31bf7205896b3083e7540878c /.gitignore
parent26c5e8f248454f62329361a4504c78820e24b649 (diff)
Make timing printouts optional in merge.py
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions