diff options
| author | David Aspinall | 2002-06-08 10:25:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-08 10:25:42 +0000 |
| commit | 524d4d817eb5549cfb453afd3a6222245741177c (patch) | |
| tree | 3e67574de0899430b5e8beadd61991513bdae3c0 /html | |
| parent | 3be2b1fb7fa1e7a0df9369efb96c7e79df31de2c (diff) | |
Fix bug in string syntax in isar-strip-terminators: did this work correctly before?
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions