diff options
author | 2014-11-07 16:33:41 +0100 | |
---|---|---|
committer | 2014-11-07 16:33:41 +0100 | |
commit | 1a5650b62837308a0106a365a9fd26057defaf67 (patch) | |
tree | be676b64d58bb0b01ae1e83f209102013e8ad887 /osdep/timer-darwin.c | |
parent | e002ba74d340338e5eb00b08fac05e12000e0186 (diff) |
command: export the flag whether an option was set on commandline
Can be useful for certain scripts; I think someone requested this.
Diffstat (limited to 'osdep/timer-darwin.c')
0 files changed, 0 insertions, 0 deletions