chiark / gitweb /
man: generate an index of directives
[elogind.git] / make-directive-index.py
2012-09-17 Zbigniew Jędrzejew... man: generate an index of directives