diff options
| author | Thomas Kleymann | 1997-11-26 14:11:29 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1997-11-26 14:11:29 +0000 |
| commit | b5efe9c344246e001886e44d451e61cce3a1819e (patch) | |
| tree | 26bb96a7b9be4eb8e49ac7187bd9418f0357b1e0 /todo | |
| parent | d5d49621d011a6696a65004a3bac5cc511f08c30 (diff) | |
simplified code:
lego-goal-with-hole-regexp and lego-save-with-hole-regexp is now
used for lego-font-lock-keywords-1 as well
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions