| commit | e97c5ffe587b5e49a63fbee3800265df1db96a94 | [log] [tgz] |
|---|---|---|
| author | Dave Brondsema <dave@brondsema.net> | Tue Oct 13 16:52:08 2015 -0400 |
| committer | Dave Brondsema <dave@brondsema.net> | Wed Oct 14 10:01:15 2015 -0400 |
| tree | dac882d965cec3e825aadd6b17893851aee19010 | |
| parent | 68786d38cdf01b5138fbf30ee5ae65932733c88a [diff] |
[#7984] skip tools that never have notications; better text within the table