diff options
| author | Omar Polo <op@omarpolo.com> | 2023-10-19 16:04:44 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2023-10-19 16:04:44 +0000 |
| commit | 36b2905a6814722a59e2c527e0fc11a371b3720e (patch) | |
| tree | 0c0ff95e994a081f9fd2a4e1ce33828695b39d58 /gg.1 | |
| parent | 91b90ad4406025aeeef28c8604c544f48767611b (diff) | |
gmid.conf.5: mention types before servers
There's no strict ordering enforced; yet that list may be used to
structure a configuration and having the types after the list of
server is not something I'd encourage for clarity.
Diffstat (limited to 'gg.1')
0 files changed, 0 insertions, 0 deletions