summaryrefslogtreecommitdiff
path: root/make-man-index.py
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-10-30 23:03:28 -0400
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-11-06 14:56:47 -0500
commit97123e532d87fab09e301c8106e878482911c6f1 (patch)
tree595c870bedd72a5c903f848db21bb1162f87d0f0 /make-man-index.py
parent5f7e83e8ad6f83095569c452bff2d0702ac02987 (diff)
efi-boot-generator: simplify
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions