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 | |
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
-rw-r--r-- | doc/apt.8.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/apt.8.xml b/doc/apt.8.xml index 1bbae0180..5eb506a50 100644 --- a/doc/apt.8.xml +++ b/doc/apt.8.xml @@ -137,7 +137,7 @@ </para></listitem> </varlistentry> - <varlistentry><term><option>list</option> (work-in-progress)</term> + <varlistentry><term><option>list</option></term> <listitem><para><option>list</option> is somewhat similar to <command>dpkg-query --list</command> in that it can display a list of packages satisfying certain criteria. It supports &glob; patterns for matching package names as |