]> git.tuebingen.mpg.de Git - lopsub.git/blob - debian/Makefile.debian
build: Activate .DELETE_ON_ERROR.
[lopsub.git] / debian / Makefile.debian