| Thu, 04 Jun 2015 10:04:01 +0200 | ymh | Merge with a3bf10beb710d1cfdda455ab98705f9e7a631739 | file | diff | annotate |
| 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 |