diff options
author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-01-26 20:44:37 +0100 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-01-26 20:44:37 +0100 |
commit | 1c730ee761b3c9b7ff12a0ad11c5b1768d1e4ada (patch) | |
tree | 6a3eea05835a276e3b2278fc6ded93b983c2c013 /doc/prog-foot.sgml | |
parent | b8a3608aa59a67364f05dbd0d0332371a200f226 (diff) |
Doc: Remove doc for already removed option
Diffstat (limited to 'doc/prog-foot.sgml')
0 files changed, 0 insertions, 0 deletions