diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-17 03:48:53 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-17 03:48:53 +0000 |
commit | d0186bbce6187def699545d072bf2f95211398cc (patch) | |
tree | c0cd9df9b5698218cb2e973981dacd5c98b51d54 /src/util/options.h | |
parent | 84146b42ed0e1c0298b0e2a894c33f357a4483ef (diff) |
push and pop manipulators for output stream so that one can indent the output
ueful for me, maybe someone else finds it useful also
Diffstat (limited to 'src/util/options.h')
0 files changed, 0 insertions, 0 deletions