more tweaks to HTML output when printing key bindings
authorPaul Davis <paul@linuxaudiosystems.com>
Wed, 22 Jun 2016 22:56:17 +0000 (18:56 -0400)
committerPaul Davis <paul@linuxaudiosystems.com>
Thu, 23 Jun 2016 12:37:24 +0000 (08:37 -0400)
commit37156d6761f73c7a662f4111cf71f22f50b7a836
tree647f3049a710994c7a5077c4c0cb7d83059db0ce
parent6753efb7809534f7ad67512ab8ca715a481676f5
more tweaks to HTML output when printing key bindings
libs/gtkmm2ext/bindings.cc
libs/gtkmm2ext/gtkmm2ext/bindings.h