diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2012-05-22 16:43:52 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2012-05-22 16:43:52 +0200 |
| commit | 7f00ffb0d0016642e9d4969b5f052213e4599b58 (patch) | |
| tree | 78554c0a3a14a326cbb64a1528ebb288ba6b2b57 /doc/sources.list.5.xml | |
| parent | a450c45f7df50c240c2822ba791a6bcc93aa2a49 (diff) | |
cherry pick -r 2205.1.5..2205.1.6 from debian-sid that got lost in previous merge
Diffstat (limited to 'doc/sources.list.5.xml')
0 files changed, 0 insertions, 0 deletions