diff options
| author | M.Gergo | 2019-07-15 12:16:55 +0200 |
|---|---|---|
| committer | M.Gergo | 2019-07-15 12:16:55 +0200 |
| commit | 389e70b9aff181663269ab3e7ca3c16ab58f3e0f (patch) | |
| tree | 2886248de98edd44a0d1d73e1c6244b7f69c5104 /mayor-installer/install.d/55tex.sh | |
| parent | b91cdd7ba1a9e9c8c605640cc3c910acd25bf767 (diff) | |
| download | mayor-rev4519.tar.gz mayor-rev4519.zip | |
Rev: 4519rev4519
Diffstat (limited to 'mayor-installer/install.d/55tex.sh')
0 files changed, 0 insertions, 0 deletions