summaryrefslogtreecommitdiff
path: root/tools/make-man-rules.py
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2014-02-13 17:10:12 -0500
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2014-02-20 22:38:23 -0500
commitef417cfd2211ae017a38b9796c6db29130133e63 (patch)
treea633270db3f254af3dfe738b1080b7b3b3e969f1 /tools/make-man-rules.py
parent0ef61cec618391593a410ef3ce277071d559edb0 (diff)
manager: be more precise in message about restart
Diffstat (limited to 'tools/make-man-rules.py')
0 files changed, 0 insertions, 0 deletions