Improve gutter messages

This commit is contained in:
Zachary Yedidia
2019-08-03 23:53:33 -07:00
parent ccb5904591
commit bc6dd990e5
8 changed files with 52 additions and 21 deletions

File diff suppressed because one or more lines are too long