summaryrefslogtreecommitdiff
path: root/tools/make-man-index.py
diff options
context:
space:
mode:
authorLuke Shumaker <lukeshu@sbcglobal.net>2016-10-22 17:44:23 -0400
committerLuke Shumaker <lukeshu@sbcglobal.net>2016-10-22 17:44:23 -0400
commit9973bc273d5905f27e8699431999a91545577ca3 (patch)
tree7201f1cb10e02ea54be00b7dd2b2545b6cd78307 /tools/make-man-index.py
parent67e217433fe894a88d29150abce8721045b78d8c (diff)
tidy libmachine-core header locations
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions