diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-13 17:10:12 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-20 22:38:23 -0500 |
commit | ef417cfd2211ae017a38b9796c6db29130133e63 (patch) | |
tree | a633270db3f254af3dfe738b1080b7b3b3e969f1 /tools/make-man-rules.py | |
parent | 0ef61cec618391593a410ef3ce277071d559edb0 (diff) |
manager: be more precise in message about restart
Diffstat (limited to 'tools/make-man-rules.py')
0 files changed, 0 insertions, 0 deletions