author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | |
Thu, 14 Jun 2018 10:28:53 +0000 (12:28 +0200) | ||
committer | Sven Eden <yamakuzure@gmx.net> | |
Fri, 24 Aug 2018 14:47:08 +0000 (16:47 +0200) |
tools/make-directive-index.py | patch | blob | history | |
tools/make-man-index.py | patch | blob | history |