| Wed, 03 Jun 2015 13:16:46 +0200 | ymh | add node and edge stroke width + adjust text + arrow placement + conrol arrow visibility | file | diff | annotate |
| Tue, 02 Jun 2015 16:42:02 +0200 | rougeronj | Merge with 19f0b7803aed33a22feeb3e7c7da7a9dc7de81ce | file | diff | annotate |