| Wed, 13 May 2020 09:42:36 +0200 | Tomas Zeman | build: publish local targets; fixed developerConnection url | changeset | files |
| Wed, 13 May 2020 09:41:38 +0200 | Tomas Zeman | mill upgrade -> 0.6.3 | changeset | files |
| Fri, 10 Apr 2020 10:41:09 +0200 | Tomas Zeman | GraphNode: mutable properties. | changeset | files |
| Tue, 07 Apr 2020 19:00:01 +0200 | Tomas Zeman | GraphNode.Font/Fixed | changeset | files |
| Fri, 18 Oct 2019 16:39:09 +0200 | Tomas Zeman | DataSet.getIds, ClickEvent | changeset | files |
| Tue, 08 Oct 2019 13:26:13 +0200 | Tomas Zeman | GraphEdge.title parameter | changeset | files |
| Tue, 08 Oct 2019 11:13:04 +0200 | Tomas Zeman | GraphNode.widthConstraint parameter | changeset | files |