]> git.tuebingen.mpg.de Git - paraslash.git/search
gui,sdl_gui: change the prefix from "dbtool" to "selector"