author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | |
Thu, 14 Jun 2018 10:28:53 +0000 (12:28 +0200) | ||
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | |
Thu, 14 Jun 2018 10:28:53 +0000 (12:28 +0200) | ||
commit | 49a2d9a2ae990db5e592e48bda8cec109afcd8ec | |
tree | f1458d7edc184c3d1997fa74132f3d6e8b5bd8f8 | tree | snapshot |
parent | fdbbee37d5af7fdcb3987d732f27f4fd7d1615d9 | commit | diff |
tools/make-directive-index.py | diff | blob | history | |
tools/make-man-index.py | diff | blob | history |