diff options
| author | George Marques <george@gmarqu.es> | 2020-03-07 12:38:06 -0300 |
|---|---|---|
| committer | George Marques <george@gmarqu.es> | 2021-04-06 07:36:41 -0300 |
| commit | f8dd7917ec81435a7e451994ccaf648debcfdaac (patch) | |
| tree | f7228ee804d6fe18978c17f89df0413b1e122020 /editor/editor_properties.h | |
| parent | f4b82814f89d992bc0119245590737ae361a0358 (diff) | |
Add flag to stop printing to stdout/stderr
This allows the terminal output to be suppressed but still be captured
by print/error handlers.
Diffstat (limited to 'editor/editor_properties.h')
0 files changed, 0 insertions, 0 deletions