]> git.tuebingen.mpg.de Git - lopsub.git/search
version-gen.sh: Make it work in conflicted state.