summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAttila Molnar <attilamolnar@hush.com>2016-09-12 17:20:51 +0200
committerGitHub <noreply@github.com>2016-09-12 17:20:51 +0200
commit94fdc065f0039c55ee7eded7f2024ad012ce40bd (patch)
tree0f601c0d43a69296c54a365587d67f4a72afbb92 /tools
parent2bba78dd3b7ea08fcbe5647a9156feb27ea78d3d (diff)
parent23f30d75fa4375e8818016367df6d0851c7651ac (diff)
Merge pull request #1217 from SaberUK/master+die-restart
Undocument <power> and set the default to the server name.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions