* admin/admin.el (manual-style-string): Use new file manual.css.
authorGlenn Morris <rgm@gnu.org>
Thu, 13 Jun 2013 06:18:57 +0000 (23:18 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 13 Jun 2013 06:18:57 +0000 (23:18 -0700)
commit0605ec8e4f9912bea0b13b87bd330770925d3d36
tree47a472b1acffeb4ebc6cb62134445c86bce79459
parentd652f4d02f99bc1f5b2a32bf987678e146d1aa19
* admin/admin.el (manual-style-string): Use new file manual.css.
admin/ChangeLog
admin/admin.el