Commit graph

1 commit

Author SHA1 Message Date
stuebinm 779b960d0c rename "server" section to "hosts"
(a) makes it consistent with hostnames
(b) [much more important]: makes the autocomplete less annoying since "services"
     also exists
2022-01-06 17:18:54 +01:00