diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2012-09-07 14:29:24 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2012-09-07 14:29:24 +0000 |
| commit | 4e68ca9005bbebb0044f9a9f1754163f23db3ac5 (patch) | |
| tree | f179a9554166f78e53143352238cf414a41ca9b3 /CHANGES | |
| parent | f9d1f0a71b8501e481c109f50cccbff95ff8123f (diff) | |
Fix a bug that was letting "." in a wrong syntax category.
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions