diff options
author | 2009-05-26 08:50:43 +0000 | |
---|---|---|
committer | 2009-05-26 08:50:43 +0000 | |
commit | 7c6a1763c8b56ccf5a98b229e5ca992f4daa0973 (patch) | |
tree | 87eb585b03d8f6056cb2086229b693c326333053 /hol98/hol98.el | |
parent | cafa86e49837c6cd526b9bb932a76d1dc3554a52 (diff) |
Add highlighting for sendback
Diffstat (limited to 'hol98/hol98.el')
0 files changed, 0 insertions, 0 deletions