diff options
author | Julian Andres Klode <jak@debian.org> | 2016-08-03 18:44:27 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-08-03 18:44:27 +0200 |
commit | e0a243f33cd411f730af3c93aff38635c9668f9e (patch) | |
tree | adc60f3f185abd56b11c3fcb341484fc63541a52 /doc/apt_preferences.5.xml | |
parent | d0d06f44ed60a3888528d834a799bae86c2978d5 (diff) |
ExecGPGV: Rework file removal on exit()
Create a local exiter object which cleans up files on exit.
Diffstat (limited to 'doc/apt_preferences.5.xml')
0 files changed, 0 insertions, 0 deletions