tree dac882d965cec3e825aadd6b17893851aee19010
parent 68786d38cdf01b5138fbf30ee5ae65932733c88a
author Dave Brondsema <dave@brondsema.net> 1444769528 -0400
committer Dave Brondsema <dave@brondsema.net> 1444831275 -0400

[#7984] skip tools that never have notications; better text within the table