diff options
| author | Julian Andres Klode <jak@debian.org> | 2019-04-04 14:30:57 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2019-04-04 14:30:57 +0000 |
| commit | 049dec37441f9df294db5d8adc59b93851deb6a7 (patch) | |
| tree | 6eb369e7a7245fa8514bcf38ded91eb1506c6837 /doc/apt.8.xml | |
| parent | 0ea7c474182f81e2b7d728569a2fd7b8fa915f3f (diff) | |
| parent | 30e6fad9ad892a21d271fa93319f7a3ee23da134 (diff) | |
Merge branch 'docs' into 'master'
Perform minor copy-editing on the docs
See merge request apt-team/apt!58
Diffstat (limited to 'doc/apt.8.xml')
| -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 f81ae18d3..e43ad9e9e 100644 --- a/doc/apt.8.xml +++ b/doc/apt.8.xml @@ -140,7 +140,7 @@ <varlistentry><term><option>edit-sources</option> (work-in-progress)</term> <listitem><para><literal>edit-sources</literal> lets you edit - your &sources-list; files in your preferred texteditor while also + your &sources-list; files in your preferred text editor while also providing basic sanity checks. </para></listitem> </varlistentry> |