| tag name | v7.1.5 (02e632ad2d0311ccfdacd8ae420cf8d1ef0d6705) |
| tag date | 2017-08-17 09:54:39 +0300 |
| tagged by | Gaudenz Alder <gaudenz@jgraph.com> |
| tagged object | commit c418555af2... |
v7.1.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 |