Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added permdb support to merge | Magnus Ahltorp | 2016-07-08 | 1 | -3/+3 |
* | Print the string "timing" and the name of the program in merge timing info. | Linus Nordberg | 2015-11-10 | 1 | -1/+1 |
* | Fix harmless cut'n'paste bugs in merge. | Linus Nordberg | 2015-11-10 | 1 | -5/+5 |
* | merge_backup.py and merge_dist.py take nodes on command line. | Linus Nordberg | 2015-11-10 | 1 | -3/+8 |
* | Merge is now run by shell script tools/merge. | Linus Nordberg | 2015-11-10 | 1 | -48/+54 |
* | Get the imports correct. | Linus Nordberg | 2015-11-10 | 1 | -2/+2 |
* | Split merge.py into three pieces. | Linus Nordberg | 2015-11-10 | 1 | -0/+130 |