server.h: Trivial whitespace/language cleanup.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 1 Apr 2015 00:25:50 +0000 (00:25 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 1 Apr 2015 13:30:47 +0000 (13:30 +0000)
commit7ee592f05e1a54858d40cb49dc322a902694eea5
tree92b4ca002f0d0219bf13aa0854cd81456c227352
parentea8ea1b6873ce9656610d91bc167d09052c32754
server.h: Trivial whitespace/language cleanup.
server.h