diff options
| author | Pierre-Marie Pédrot | 2016-08-21 19:33:03 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-08-21 19:33:03 +0200 |
| commit | b1791fe718eae95897d2dbd160b05285c6df239c (patch) | |
| tree | a6fa303116109888dbfe4451595a2680b1e759a3 /kernel | |
| parent | 00808a1fa05e34fee36b8dfff4e7c72943b22c23 (diff) | |
Do not recompute the whole evar naming environment in GProd intepretation.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions