summaryrefslogtreecommitdiff
path: root/tools/merge_fetch.py
Commit message (Expand)AuthorAgeFilesLines
* Added permdb support to mergecatlfish-78Magnus Ahltorp2016-07-081-4/+5
* Fix _args -> args since we now use it.Linus Nordberg2015-11-101-1/+1
* Print the string "timing" and the name of the program in merge timing info.Linus Nordberg2015-11-101-1/+1
* Print timing information in merge_fetch too.Linus Nordberg2015-11-101-0/+4
* Merge is now run by shell script tools/merge.Linus Nordberg2015-11-101-12/+36
* Split merge.py into three pieces.Linus Nordberg2015-11-101-0/+97