File manager - Edit - /usr/share/graphviz/gvpr/delnodes
Back
/* Delete nodes whose names are given in ARGV */ BEG_G { int names[char*]; int nodes[node_t]; node_t n; int i; for (i = 0; i < ARGC; i++) names[ARGV[i]] = 1; } N[names[name]]{nodes[$] = 1} END_G { for (nodes[n]) delete ($,n); }
| ver. 1.4 |
Github
|
.
| PHP 8.1.34 | Generation time: 0 |
proxy
|
phpinfo
|
Settings