* etc/themes/leuven-theme.el: Updates.
authorFabrice Niessen <fniessen@pirilampo.org>
Thu, 16 Jan 2014 20:18:55 +0000 (15:18 -0500)
committerGlenn Morris <rgm@gnu.org>
Thu, 16 Jan 2014 20:18:55 +0000 (15:18 -0500)
commitb5ccc1beb33fb90e6ed7a0b1d5aa7eca431d0200
treeef507bfcf895eb73b5718c95154486b9d8ea6225
parent39903fd1fc793bb51d44cf48a48b58e8c114a97e
* etc/themes/leuven-theme.el: Updates.

Fixes: debbugs:16442
etc/ChangeLog
etc/themes/leuven-theme.el