diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-03-29 20:15:47 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-03-29 20:15:47 +0200 |
| commit | 0a50a2194d1d798a831df7eb7f1ff40a40c25dea (patch) | |
| tree | bc0e60cf5ad19491af08550b32696d7e578809e2 /debian/source/format | |
| parent | d22b26f95eb0b7008f38c909d93da9bc4f46622e (diff) | |
| download | impressive-display-0a50a2194d1d798a831df7eb7f1ff40a40c25dea.tar.gz impressive-display-0a50a2194d1d798a831df7eb7f1ff40a40c25dea.tar.bz2 impressive-display-0a50a2194d1d798a831df7eb7f1ff40a40c25dea.zip | |
Make cleanup trap more genuine: Really clean-up all created temporary files, make sure the impressive executable gets killed during clean-up.
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions