| tag name | v7.2.5 (8d3d3f8e83ec2f120575712cc8ed06bf75f18bf3) |
| tag date | 2017-08-24 15:57:58 +0300 |
| tagged by | Gaudenz Alder <gaudenz@jgraph.com> |
| tagged object | commit bdcf5c2c03... |
v7.2.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 |