Merged from mwolson@gnu.org--2006/muse--main--1.0 (patch 237)
commit0c98d757bc52ecf5ed366395b1f5264b99d0e56a
authorMichael Olson <mwolson@gnu.org>
Mon, 30 Oct 2006 13:48:28 +0000 (30 13:48 +0000)
committerMichael Olson <mwolson@gnu.org>
Mon, 30 Oct 2006 13:48:28 +0000 (30 13:48 +0000)
tree753fb90889e0a04eb4ae476c9defa70f6b29d47d
parent47a0ff98dd67d2c536fc1f9a114320808e236f3a
parentcb221b79f0c7b4bd75cbfb15a49715f5b7ff8da1
Merged from mwolson@gnu.org--2006/muse--main--1.0 (patch 237)

Patches applied:

 * mwolson@gnu.org--2006/muse--main--1.0--patch-237
   Really fix <example> highlighting bug this time
git-archimport-id: mwolson@gnu.org--2006-muse-el/muse-el--devel--0--patch-112