diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-28T17·13+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-28T17·13+0200 |
commit | 2cc345b95f19334e7050c7203a5f6823af24344f (patch) | |
tree | 0bb381ffa64ceb59fac0ab6416e5699854c0c028 /.dir-locals.el | |
parent | cfc813239128fc69a9228b39b5c0abb7e7a67b11 (diff) |
Give activities a verbosity level again
And print them (separately from the progress bar) given sufficient -v flags.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions