tag name | v13.7.5 (777886f689420bd10eff71a9da0d51630ab8bb3e) |
tag date | 2020-09-23 13:58:26 +0300 |
tagged by | Gaudenz Alder <gaudenz@jgraph.com> |
tagged object | commit 21108c70c7... |
v13.7.5
Welcome to mirror list, hosted at ThFree Co, Russian Federation.
index : github.com/jgraph/drawio.git | ||
Unnamed repository; edit this file 'description' to name the repository. | www-data |
summaryrefslogtreecommitdiff |
tag name | v13.7.5 (777886f689420bd10eff71a9da0d51630ab8bb3e) |
tag date | 2020-09-23 13:58:26 +0300 |
tagged by | Gaudenz Alder <gaudenz@jgraph.com> |
tagged object | commit 21108c70c7... |