diff options
author | 2015-04-16 14:59:59 +0000 | |
---|---|---|
committer | 2015-04-16 18:38:36 +0000 | |
commit | 352b9da0d738b56112252e97d601297852233fdd (patch) | |
tree | 5d3f7bcd1d16329a1d2c6dd15f6ab332fb57be3d /README.md | |
parent | e7963dff0932e3a49a5ffa735f00d16fb5c3cc67 (diff) |
Simplify ValidationEnvironment.
We need only a set of symbols, types are not used anymore.
--
MOS_MIGRATED_REVID=91299566
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions