diff options
| author | David Härdeman <david@hardeman.nu> | 2020-06-20 11:23:11 +0200 |
|---|---|---|
| committer | David Härdeman <david@hardeman.nu> | 2020-06-20 11:23:11 +0200 |
| commit | fc25e880dfb1f804742006bcdd15ac70d18b4144 (patch) | |
| tree | 0119f355c85db79c63844841ac01966d1cab0ce7 /shared/server-properties-options.h | |
| parent | c405a7d93341d2c13167e8ab834c68f7b035a8bb (diff) | |
Add some basic server states
Diffstat (limited to 'shared/server-properties-options.h')
0 files changed, 0 insertions, 0 deletions