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 /sysdep/unix/main.c | |
parent | 5bd734317c05008a66eefaa14fc98a6d533cf9ef (diff) |
Doc: Fix notes related to obsolete option
Thanks to Julien Dessaux for the report.
Diffstat (limited to 'sysdep/unix/main.c')
0 files changed, 0 insertions, 0 deletions