summaryrefslogtreecommitdiff
path: root/tools/check-sth.py
diff options
context:
space:
mode:
authorMagnus Ahltorp <map@kth.se>2015-11-09 15:40:46 +0100
committerLinus Nordberg <linus@nordu.net>2015-11-11 14:01:50 +0100
commit2731c56774926a7fdffaa59c588aada759ddf887 (patch)
tree5aebdb7f49c77c2bab3a06ca9dcf3f9fcf2ab855 /tools/check-sth.py
parent997da9ebcc84cab552fd49428c31d3a3f5a862f2 (diff)
Selectable db backend only available for merge nodes for now
Diffstat (limited to 'tools/check-sth.py')
0 files changed, 0 insertions, 0 deletions