diff options
author | Linus Nordberg <linus@nordu.net> | 2017-02-08 11:51:18 +0100 |
---|---|---|
committer | Linus Nordberg <linus@nordu.net> | 2017-02-08 11:51:18 +0100 |
commit | a712846b4022d6e3d41d9ea8c60fd32b6126e26c (patch) | |
tree | 33c09c2579a2265a84813a7da66f346205123469 /tools/verifysecondary.sh | |
parent | a9610a62054ca6fc34fed0f108b141b2d1758ce3 (diff) |
Move frontend_nodes for primary merge to plopconfig.
Also make it contain node names too.
Diffstat (limited to 'tools/verifysecondary.sh')
0 files changed, 0 insertions, 0 deletions