diff options
| author | Makarius Wenzel | 2000-12-23 21:12:52 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-12-23 21:12:52 +0000 |
| commit | f7fa3cc690cdbcc33312d364836fa5f42f7634fd (patch) | |
| tree | 85c8ba66412676125c9e94ab7ca46803b2756359 /plastic | |
| parent | 90c34105f7cd85f65c4de16b1d7b6e03c2aac8b4 (diff) | |
tuned font lock;
Diffstat (limited to 'plastic')
0 files changed, 0 insertions, 0 deletions