aboutsummaryrefslogtreecommitdiff
path: root/README-GIT
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-11-27 14:20:10 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-11-27 14:20:10 +0200
commitb71fa164192f1af8b702e1578cf202b510a9b281 (patch)
tree99e3cc0965b2fce6fe1be4151eef1e1bb44af59f /README-GIT
parentb48666e580abf54d426d13840f49242aa2569bb2 (diff)
Add --dump <phase> option, omit state dumping from verbosity level 6
Diffstat (limited to 'README-GIT')
0 files changed, 0 insertions, 0 deletions