]> git.tuebingen.mpg.de Git - dss.git/history - mklogo
Replace dss.dia by a shell script.
[dss.git] / mklogo
2017-07-17 Andre NollReplace dss.dia by a shell script.