« Previous | Next » 

Revision 2e130b5c

ID2e130b5cadb970b7f4f743e69cd459b5b42cf208
Parent c0b2f646
Child 899fc0ab

Added by Martin Mares over 21 years ago

Recognize `|xxxx|' as verbatim text and typeset it using <tt>.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences