diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-05-19 01:33:13 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-05-24 20:11:37 +0200 |
| commit | 2964e198e0c00f9d553c64482051719c055eae55 (patch) | |
| tree | e0909970873043848673ad0b81dc4445e7f56587 /editor/plugins | |
| parent | 33897d9b5844aa0147d55841845427ed599d069f (diff) | |
Hide non-applicable CLI arguments in the server platform
This refactors some of the CLI parsing code to follow the CLI help's
order, making it easier to toggle using compile-time defines.
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions