diff options
author | Julian Andres Klode <julian.klode@canonical.com> | 2019-01-22 12:32:54 +0100 |
---|---|---|
committer | Julian Andres Klode <julian.klode@canonical.com> | 2019-01-22 12:43:07 +0100 |
commit | 44ff107df1c47eb3e030880c440eb5d6f1b899a2 (patch) | |
tree | 99ec5607a80c98239391e5cd9313a9b0538f85cc /apt-pkg/aptconfiguration.cc | |
parent | b1314a7f81cde0b4320ad9296d8fcc9bd6fbc55f (diff) |
doc/apt-verbatim.ent: Point ubuntu-codename to disco
LP: #1812696
Diffstat (limited to 'apt-pkg/aptconfiguration.cc')
0 files changed, 0 insertions, 0 deletions