summaryrefslogtreecommitdiff
path: root/tools/make-man-index.py
diff options
context:
space:
mode:
authorDaniel Mack <github@zonque.org>2015-11-20 16:00:32 +0100
committerDaniel Mack <github@zonque.org>2015-11-20 16:00:32 +0100
commitaedf698f3e93b2d376e03b85c471f0f54ccda50d (patch)
treea921b59961c1bf7b0dd0ade73c19a2e427a39d80 /tools/make-man-index.py
parent1bd4903c8faab8af259ecb35bbad05d938e250c5 (diff)
parent61fea35e14d84144e6e2122f5cd247f9c7e6245e (diff)
Merge pull request #1966 from evverx/fix-initrd-searching-on-debian
tests: fix initrd searching on Debian/Ubuntu
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions