diff options
| author | M.Gergo | 2018-03-28 20:58:17 +0200 |
|---|---|---|
| committer | M.Gergo | 2018-03-28 20:58:17 +0200 |
| commit | 98249b6e5722bd523882484b17cf1529ca08f78c (patch) | |
| tree | 543955b8f43ecf715f00ce1ec7d2c7ebe29b779c /mayor-orig/update/orev001717-1.sh | |
| parent | 421914473feb547f5e16e7fe3c6945e8758e7160 (diff) | |
| download | mayor-98249b6e5722bd523882484b17cf1529ca08f78c.tar.gz mayor-98249b6e5722bd523882484b17cf1529ca08f78c.zip | |
texgen orig
Diffstat (limited to 'mayor-orig/update/orev001717-1.sh')
0 files changed, 0 insertions, 0 deletions