summaryrefslogtreecommitdiff
path: root/tools/make-man-index.py
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2015-09-01 13:15:56 +0200
committerAndy Wingo <wingo@pobox.com>2015-09-01 13:19:31 +0200
commite2060a1f35d212ff8bf92f6d81bace190a6d15e9 (patch)
tree4447d751e5e816049e3bf47e310b9d445f9cfa61 /tools/make-man-index.py
parenta15428a0fee6fc3e198b0d19492fe4447c4467bb (diff)
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions