diff options
| author | Michael Vogt <mvo@debian.org> | 2015-08-18 10:44:50 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2015-08-18 10:46:55 +0200 |
| commit | 586bdb0c1216eb2bf35334b0f124a9c3598de160 (patch) | |
| tree | 8d4ad06c20aff7db527d1ee8174adab9580fb7ed /doc/apt_preferences.5.xml | |
| parent | 858f91bb796e68b8133574cc85649b9af87a9e8b (diff) | |
Do not fail if building test/ fails (issues with parallel builds)
Git-Dch: ignore
Diffstat (limited to 'doc/apt_preferences.5.xml')
0 files changed, 0 insertions, 0 deletions