Double-quote nodes in graphviz network file
authorQuentin Rameau <quinq@fifth.space>
Wed, 28 Nov 2018 23:17:12 +0000 (00:17 +0100)
committerGuus Sliepen <guus@tinc-vpn.org>
Fri, 30 Nov 2018 13:37:38 +0000 (14:37 +0100)
This is needed for all nodes with a name starting with a digit,
otherwise the ID would be interpreted as a numeral.


No differences found