diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-03-14 07:22:59 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-03-14 07:22:59 +0100 |
| commit | b40bdd6532bdba3d157c8a2dd4661ee540a6fbb4 (patch) | |
| tree | de75cbe6c566b065f620b72cca5638fb5fe35d8b /src/leveldb/table/block.h | |
| parent | 1e13f57f561dcba493e569bf8fb6507383c62796 (diff) | |
qt: Show also value for options overridden on command line
Currently only the name of the option is shown for GUI options
overridden by command line (or configuration file). This commit
adds the value of the options as well, which is useful for
troubleshooting.
Diffstat (limited to 'src/leveldb/table/block.h')
0 files changed, 0 insertions, 0 deletions