diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2018-03-01 23:17:34 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2018-03-02 10:05:14 +0200 |
| commit | f0d24de960d7617ebcbd8bd6f708d7bbd842152a (patch) | |
| tree | e00ac7085fd8611d1c78722b050a5938296bbab6 /editor/editor_plugin.h | |
| parent | 08cadc3d871f681ef1f951894345359a85ba190e (diff) | |
Fix `--help` output, allow renderer override from command line (`--video-driver`).
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions