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 /examples/docker-minimal/docker/known_roots/8A5C8CEEA503E60556BAD81BD4F6C9B0EDE52FE0.pem | |
| parent | a9610a62054ca6fc34fed0f108b141b2d1758ce3 (diff) | |
Move frontend_nodes for primary merge to plopconfig.
Also make it contain node names too.
Diffstat (limited to 'examples/docker-minimal/docker/known_roots/8A5C8CEEA503E60556BAD81BD4F6C9B0EDE52FE0.pem')
0 files changed, 0 insertions, 0 deletions