diff options
| author | Magnus Ahltorp <map@kth.se> | 2015-11-09 15:40:46 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2015-11-11 14:01:50 +0100 |
| commit | 2731c56774926a7fdffaa59c588aada759ddf887 (patch) | |
| tree | 5aebdb7f49c77c2bab3a06ca9dcf3f9fcf2ab855 /tools/check-sth.py | |
| parent | 997da9ebcc84cab552fd49428c31d3a3f5a862f2 (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