diff options
| author | Enrico Tassi | 2019-01-17 18:01:42 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-01-19 17:19:43 +0100 |
| commit | 1b9c386bb5118145f0a2b46c523dd195d97c8413 (patch) | |
| tree | ad859989917a649369dbf2826b847792de2a8ce0 /doc/plugin_tutorial/tuto1/_CoqProject | |
| parent | 762a47bce085bf1606a05c7b59c8a59803730eeb (diff) | |
[ssr] compile "=> {x..} y" as "=> {x..y} y"
This is for consistency with "rewrite {x..} y"
Diffstat (limited to 'doc/plugin_tutorial/tuto1/_CoqProject')
0 files changed, 0 insertions, 0 deletions