diff options
author | John Hawthorn <john@hawthorn.email> | 2019-12-27 23:18:16 -0800 |
---|---|---|
committer | John Hawthorn <john@hawthorn.email> | 2019-12-27 23:18:16 -0800 |
commit | 28195b3a709995354b6c33cec9bb7c9f81532eb6 (patch) | |
tree | fbfd61fb82d8212284f5d5a0319ff3a8ec2b82d1 /src/config.def.h | |
parent | 04c342cd0bbff6f9a790ba1f3abc79517bbec096 (diff) | |
parent | 8505df59ffd9b578f98591520b51abc818509fc3 (diff) |
Merge branch 'show-info'
Diffstat (limited to 'src/config.def.h')
-rw-r--r-- | src/config.def.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config.def.h b/src/config.def.h index 27ef4b1..fcdcc03 100644 --- a/src/config.def.h +++ b/src/config.def.h @@ -16,3 +16,4 @@ #define DEFAULT_PROMPT "> " #define DEFAULT_NUM_LINES 10 #define DEFAULT_WORKERS 0 +#define DEFAULT_SHOW_INFO 0 |