diff options
| author | Jan Janssen <medhefgo@web.de> | 2013-05-17 15:38:13 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-05-21 09:23:51 -0400 |
| commit | 2927b326ccf67236e148444679f582ea1437ef5a (patch) | |
| tree | d172969085335641f243ad0dc8daa5cbdd51f59b /make-directive-index.py | |
| parent | 67820a0cbdc9d72a1074debf8b2bc72203c775cc (diff) | |
man: Document missing options
Diffstat (limited to 'make-directive-index.py')
0 files changed, 0 insertions, 0 deletions