diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-03-20 15:56:33 +0100 |
|---|---|---|
| committer | Jeroen Wijenbergh <46386452+jwijenbergh@users.noreply.github.com> | 2023-09-25 09:43:37 +0200 |
| commit | 2388b826cc8c0507bc840a728d005450d91adf4b (patch) | |
| tree | 01efd5c44d9ce9cee30f291d8d5ae5db726a5732 /types/server | |
| parent | 19882f158fec139622ffe5b52bc9e834a9d3246e (diff) | |
Exports + Python: Use an enum for server type
Diffstat (limited to 'types/server')
0 files changed, 0 insertions, 0 deletions