summaryrefslogtreecommitdiff
path: root/make-directive-index.py
diff options
context:
space:
mode:
authorJan Janssen <medhefgo@web.de>2013-05-17 15:38:13 +0200
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-05-21 09:23:51 -0400
commit2927b326ccf67236e148444679f582ea1437ef5a (patch)
treed172969085335641f243ad0dc8daa5cbdd51f59b /make-directive-index.py
parent67820a0cbdc9d72a1074debf8b2bc72203c775cc (diff)
man: Document missing options
Diffstat (limited to 'make-directive-index.py')
0 files changed, 0 insertions, 0 deletions