diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2018-08-07 14:46:24 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2018-08-07 14:46:24 +0200 |
| commit | d33cf3f4c3a92f895e8b52fc19ed8a88f350a32b (patch) | |
| tree | 86ea6b54db30d245e320f46ad9c8c264b7cda8e4 /doc/LinuxDocTools.pm | |
| parent | 5bd734317c05008a66eefaa14fc98a6d533cf9ef (diff) | |
Doc: Fix notes related to obsolete option
Thanks to Julien Dessaux for the report.
Diffstat (limited to 'doc/LinuxDocTools.pm')
0 files changed, 0 insertions, 0 deletions