diff options
author | M.Gergo | 2020-09-06 12:06:53 +0200 |
---|---|---|
committer | M.Gergo | 2020-09-06 12:06:53 +0200 |
commit | 05cd10ac470512a35ac392856baabe8b0619add5 (patch) | |
tree | 9cfe0fd91df438a7c0fe6f5794278c9cb25feab2 /mayor-installer/mayor-installer-jav/install.d/55tex.sh | |
parent | 9044c44af70eff76d875137de553d5904e475f6d (diff) | |
download | mayor-05cd10ac470512a35ac392856baabe8b0619add5.tar.gz mayor-05cd10ac470512a35ac392856baabe8b0619add5.zip |
Rev: 4678rev4678
Diffstat (limited to 'mayor-installer/mayor-installer-jav/install.d/55tex.sh')
0 files changed, 0 insertions, 0 deletions