diff options
| author | Joel Klinghed <the_jk@yahoo.com> | 2017-07-29 18:31:48 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@yahoo.com> | 2017-07-29 18:31:48 +0200 |
| commit | 1d6b4708c0093256ee67cc4c8ba1982719243b6d (patch) | |
| tree | 1544c5c70d07ab8dfad209b501f84c581fc42e37 /src/args.hh | |
| parent | 8d58ffb022649fd8a28d2f74845fc8ca5c934029 (diff) | |
Handle FILE argument in monitor-gui
Diffstat (limited to 'src/args.hh')
0 files changed, 0 insertions, 0 deletions