diff options
author | 2009-09-03 08:46:34 +0000 | |
---|---|---|
committer | 2009-09-03 08:46:34 +0000 | |
commit | 449567441462f11909b43d49cd836ff5a6493f3d (patch) | |
tree | 2fc7e7b8973d847dfe50beb55784714aed16f0bb /twelf/README | |
parent | 7eef3eac6fc116b4e5bf3d733494b6086cf13091 (diff) |
Fix font-lock output keywords for tvars starting ?'
Diffstat (limited to 'twelf/README')
0 files changed, 0 insertions, 0 deletions