doc/rst2man.py
changeset 10233 69e07d234cc6
parent 10007 9945a39d171f
child 10282 08a0f04b56bd