diff options
| author | Pavel Tvrdik <pawel.tvrdik@gmail.com> | 2016-10-03 10:22:24 +0200 |
|---|---|---|
| committer | Pavel Tvrdik <pawel.tvrdik@gmail.com> | 2016-10-11 17:43:03 +0200 |
| commit | 22558357d45c27583156f8c11412e37ce48a42e0 (patch) | |
| tree | 6de603abdec9de7720d8719f8a30c79a4d0eee7e /doc/prog-head.sgml | |
| parent | b9864aa87193ac1a5ebbc04d24ec782a1fe9637a (diff) | |
Doc: Add command-line options --version, --help
Diffstat (limited to 'doc/prog-head.sgml')
0 files changed, 0 insertions, 0 deletions