diff options
| author | Makarius Wenzel | 2009-11-21 19:54:33 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-11-21 19:54:33 +0000 |
| commit | 95522c91b0773c7726ea4cac75270a9396e654cd (patch) | |
| tree | a215b2106e0eabfe35beac822777f80bcf90ecd3 /FAQ | |
| parent | 37de2996da5255159703148363b31d001a301300 (diff) | |
tvar font-lock: allow more than one ? (as in inference parameter ??'a);
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions