diff options
| author | Michael Vogt <mvo@debian.org> | 2013-07-28 09:25:57 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-07-28 09:25:57 +0200 |
| commit | 0c33605d981ceb78a4761e39043dc79ef9a571b2 (patch) | |
| tree | 83fa22dda53f0abccd7b9cf7376af8553c559068 /doc/apt_preferences.5.xml | |
| parent | 402c0d19a0c6668d7710b2b48561eb3059a04584 (diff) | |
| parent | 163dc55bd6891008adcdf6d683a94e890a00f8c7 (diff) | |
Merge remote-tracking branch 'mvo/bugfix/coverity' into debian/sid
Diffstat (limited to 'doc/apt_preferences.5.xml')
0 files changed, 0 insertions, 0 deletions