Fix markup in Counter note.

This commit is contained in:
Georg Brandl 2012-10-06 22:38:20 +02:00
parent a21e51570d
commit 2fdc0f8a86