diff options
| author | Pierre-Marie Pédrot | 2016-10-06 11:17:24 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-10-06 11:27:24 +0200 |
| commit | bcecccc6973ab15bf99223764268808b89281964 (patch) | |
| tree | 27f4eed9e608fdea5c72c298d9b962586ac937d1 /interp | |
| parent | 5892f94fd5ca3a269e51eec26c3ff8f616ce02bd (diff) | |
Removing a slow access to a named environment.
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions