diff options
| author | Matthieu Sozeau | 2019-08-22 17:03:11 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2019-08-22 17:03:11 +0200 |
| commit | 41d7105708dbd4a3066a1a92d69ad2547e51ee76 (patch) | |
| tree | 165d8a90504aaa5490925effa51053e79675cebc /doc/plugin_tutorial/tuto1 | |
| parent | 6bb04f3240e14cc0bbb117879afd0305db31b64c (diff) | |
| parent | 122a5aca4f7b21f65afece2c59e8529183713d71 (diff) | |
Merge PR #9062: Delay the computation of frozen evars in legacy unification.
Reviewed-by: mattam82
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions