diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2022-08-25 08:42:34 +0200 |
|---|---|---|
| committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2022-08-25 08:42:59 +0200 |
| commit | 335a4099dedd950c5b6d45f6b1b1a464bf39341e (patch) | |
| tree | 311bb74b3a44070bcefdf82d544ed721532621fa /editor/editor_fonts.h | |
| parent | 629524c7a20fa599c1a97be21d67239a8dca682b (diff) | |
Fix forwarding of CLI arguments taking an option
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions