diff options
| author | Pierre-Marie Pédrot | 2015-10-19 14:32:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-10-19 14:57:32 +0200 |
| commit | bdddfe4f3f720a65cdb9ea6ab2573d4adaa8694e (patch) | |
| tree | bc56e2d01553fae61760d643aac9e08fd24acb46 /kernel/type_errors.ml | |
| parent | 872d88b5f5c5ab382c7a721f7089bd3085de3cc9 (diff) | |
Removing tclEVARS in various places.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions