diff options
author | Julian Andres Klode <jak@debian.org> | 2020-02-13 15:09:07 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2020-02-13 15:09:07 +0000 |
commit | 7e64f5c74f0c5d26bcddbcb07e9d87dfca6907eb (patch) | |
tree | 1baeaae7815bbb22a3105fbcd22618c027343e63 /test/integration/test-bug-807012-mixed-case-package-names | |
parent | 7e445a53444e253cca44c54ed5978276f1581a50 (diff) | |
parent | 1e66414af94c897175def069325d7cf47efa5572 (diff) |
Merge branch 'tweak-man' into 'master'
doc: remove "WIP" from apt.8.xml
See merge request apt-team/apt!102
Diffstat (limited to 'test/integration/test-bug-807012-mixed-case-package-names')
0 files changed, 0 insertions, 0 deletions