diff options
| author | Pierre Courtieu | 2007-11-08 08:04:38 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-11-08 08:04:38 +0000 |
| commit | 1ef51ffae9dba2795ce7e535540f0a1b669d51b2 (patch) | |
| tree | 45b8337f4aa679ce956579c60da89ea7e7b3b225 /BUGS.developer | |
| parent | 72f80ffbd127d95dd8208c1ac7d5b6db2dbaeef9 (diff) | |
fixing small font-lock bug with ssreflect syntax.
Diffstat (limited to 'BUGS.developer')
0 files changed, 0 insertions, 0 deletions