aboutsummaryrefslogtreecommitdiff
path: root/generic
diff options
context:
space:
mode:
authorDavid Aspinall2009-09-28 08:38:37 +0000
committerDavid Aspinall2009-09-28 08:38:37 +0000
commit18edb39d893513e45eb7b0c78d340010a0ea759c (patch)
treee9996ce67a1a5efd2f67bca2d93a259c3b48e19f /generic
parent228d8c8b9ec1d4a5a8616080c10cbaf23e0c18c4 (diff)
Add markup for \<^const> control, complicate `isar-control-char-format-regexp' to markup identifiers
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions