]> git.tuebingen.mpg.de Git - paraslash.git/history - gui.conf.sample
dbtool -> selector update for web documentation web page
[paraslash.git] / gui.conf.sample
2006-02-20 Andreinitial git commit