summaryrefslogtreecommitdiff
path: root/tools/fetchallcerts.py
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordu.net>2015-09-24 16:47:32 +0200
committerLinus Nordberg <linus@nordu.net>2015-09-24 16:47:32 +0200
commit37cab78a89a4e6f7ec29c1cde1e68dfc5c46bd9d (patch)
tree6ed8ad47810ed8b6aa9aef0d3fe1a8ea459fb0f8 /tools/fetchallcerts.py
parent98c4ab09dd0f04bd3aa5567fcfb05cbb6a3a75f1 (diff)
Merge is now run by shell script tools/merge.
tools/merge run merge_fetch.py, merge_backup.py, merge_sth.py and merge_dist.py sequentially. TODO: test backupquorum != 0
Diffstat (limited to 'tools/fetchallcerts.py')
0 files changed, 0 insertions, 0 deletions