diff options
| author | Michael Vogt <mvo@debian.org> | 2014-01-06 07:51:45 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2014-01-06 07:51:45 +0100 |
| commit | 1b4560fec66a6e7b2dff9aaa19095fb8423f69a0 (patch) | |
| tree | 7fb2b63e31f356ef87af4699ba87b4f1443f508c /doc/sources.list.5.xml | |
| parent | 81d183681aea972fddd453d62109f8ccda3f447a (diff) | |
| parent | 74d4bb26e09146b9d5f01889a676dc58ff5d63cd (diff) | |
Merge branch 'debian/sid' into feature/apt-manpage
Diffstat (limited to 'doc/sources.list.5.xml')
| -rw-r--r-- | doc/sources.list.5.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/sources.list.5.xml b/doc/sources.list.5.xml index fa32297c2..87fb4d71e 100644 --- a/doc/sources.list.5.xml +++ b/doc/sources.list.5.xml @@ -8,6 +8,8 @@ <!ENTITY % aptverbatiment SYSTEM "apt-verbatim.ent"> %aptverbatiment; +<!ENTITY % aptvendor SYSTEM "apt-vendor.ent"> +%aptvendor; ]> <refentry> |