summaryrefslogtreecommitdiff
path: root/man/make_man_page.py
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-12-19 12:17:57 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-12-19 12:17:57 -0800
commit70545251f4d1685a600e8eeb7b78eea430613b94 (patch)
tree05eb4b39b03d1cdbfbc937d639b36781a44b0ab6 /man/make_man_page.py
parent02d6b66768f1e3204ec6efb116f462f571972d17 (diff)
Removed need for sudo in make bench.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions