Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Change algorithm for merge backup and merge dist | Magnus Ahltorp | 2016-11-02 | 1 | -61/+79 |
* | Send list of entries to frontend | Magnus Ahltorp | 2016-11-02 | 1 | -20/+32 |
* | Added permdb support to merge | Magnus Ahltorp | 2016-07-11 | 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 |