diff options
author | M.Gergo | 2020-03-26 03:24:16 +0100 |
---|---|---|
committer | M.Gergo | 2020-03-26 03:24:16 +0100 |
commit | eda9d0ccda758e677fd0f1f67942057339c5ca99 (patch) | |
tree | f7f8ffe9f4264b493ba32e870d00a7cda217cb63 /mayor-jav/mayor-base-jav/bin/tex2pdf.sh | |
parent | 397f02e74eb3e9b1bb6bb6d5ea531b001921c5a4 (diff) | |
download | mayor-eda9d0ccda758e677fd0f1f67942057339c5ca99.tar.gz mayor-eda9d0ccda758e677fd0f1f67942057339c5ca99.zip |
checkupdate
Diffstat (limited to 'mayor-jav/mayor-base-jav/bin/tex2pdf.sh')
0 files changed, 0 insertions, 0 deletions