]> git.tuebingen.mpg.de Git - gsu.git/search
config: Remove workaround for old bash versions.