diff options
| author | Hugo Herbelin | 2018-04-13 18:01:02 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-09-10 10:41:05 +0200 |
| commit | bb78a36d77ff37ba9fc11d6db914ee4bc71e3e2e (patch) | |
| tree | 744607c59fa472a2de30e9bf41f90807a10f2790 /plugins/syntax | |
| parent | 9371ab87e8bac42216f882ed8f00e6fba9dc6eb0 (diff) | |
Relying on the precomputation of the renaming also for new_evar_type.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions