diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-01-12 12:56:07 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-01-12 12:56:07 +0100 |
commit | 4b8cd99705596052b7b45f29c248c9d02875ccdc (patch) | |
tree | 45d4145f03723025eb75781525fedd478d32e5a1 /ide | |
parent | bd3acff29dbdbf329d9ef6a92289e504ef688803 (diff) |
Fixing name of evars in output test Notation.v.
Diffstat (limited to 'ide')
0 files changed, 0 insertions, 0 deletions