monnier pushed a change to branch externals/greenbar.
at 71b7d1b * .gitignore: New file
This branch includes the following new commits:
new 9121847 Added greenbar package
new 05e289c * packages/greenbar/greenbar.el: Fix copyright line
new 2451d8a greenbar -- cleaned-up comments and docstrings
new 9526f29 Add `greenbar-highlight-input' to highlight command input.
new 71b7d1b * .gitignore: New file
