diff options
| author | David Aspinall | 2002-08-30 17:44:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-30 17:44:41 +0000 |
| commit | 79aa4978cc7395fa5e134e48e627e1b11e96648f (patch) | |
| tree | 2a53638d146cfffb873e0c594cc19706daa2d3b3 /generic | |
| parent | d2d539facd7a239a09cb43fa06ec8cfc34388eea (diff) | |
Use old parser still for Isar for time being (see note in source)
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions