diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2008-10-22 09:26:18 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2008-10-22 09:26:18 +0000 |
| commit | 2e107f73889a0a22c262b589fd568b35426cbb58 (patch) | |
| tree | a09ec498c3f746a1a757045fb152e796bae993d3 /isar | |
| parent | 475f196370931331d897c2307153247ac71728c6 (diff) | |
Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan
Monnier.
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions