tree 327516b255c5b6e9e2cf1999b28ed57fb97d9af6
parent e14543a4bcdb118e835091af697af2ea618b25c7
author Erich Smith <heartquest@gmail.com> 1337106342 -0400
committer Erich Smith <heartquest@gmail.com> 1337106546 -0400

plugins-help is much faster

this replaces the naive implementation that called glossary() on each
group, and is an order of magnitude faster.

fix grouping in javascript.plugin.bash