diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2018-05-04 16:07:12 +0200 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2018-05-04 17:35:49 +0200 |
| commit | 39d9e217a22901892647499ee695ba472a111d25 (patch) | |
| tree | d3675e37e313b3e03918da06c81ceb79f0018c77 /doc/apt_preferences.5.xml | |
| parent | bd97dd6e69a537d1839999011e68a92ef1d063a5 (diff) | |
Fix build with new gtest
Still allow the older one to be used.
Closes: #897149
Diffstat (limited to 'doc/apt_preferences.5.xml')
0 files changed, 0 insertions, 0 deletions