diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-19 07:03:27 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-19 07:03:27 +0000 |
commit | 8191e5d345de522ebc1303dff06f0a3db121819d (patch) | |
tree | 450793cb9bb2d164fd9920b279b964d7edd8a4d5 /isar/isar-keywords.el | |
parent | ff5092c08eb04a05ba2f1694d9430c779bd2baa8 (diff) |
Remove comma from section heading, bad for info.
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions