Aodhnait Étaín ab98d50a53 Rename GLOBAL_COUNTER to GRAPHVIZ_NODE_COUNTER ... As GLOBAL_COUNTER could be confusing regarding what actually does it count.		2021-05-23 10:08:53 +01:00
..
main.rs	Rename GLOBAL_COUNTER to GRAPHVIZ_NODE_COUNTER	2021-05-23 10:08:53 +01:00