]> git.tuebingen.mpg.de Git - gsu.git/search
gui: Use trap to make sure temporary files are removed.