diff options
author | 2017-05-16 09:13:01 +0200 | |
---|---|---|
committer | 2017-05-16 09:13:01 +0200 | |
commit | 634448b8cc32f8141b779b1e40449411201cf897 (patch) | |
tree | aa5c807e94cebece1e45900578e4aa009e6b6561 /pretyping/evarconv.mli | |
parent | 3908fb1c6d68678daa65b4a2fa944424575acf87 (diff) | |
parent | f1707b32c96931eb1c1d8153b8570234321153c2 (diff) |
Merge PR#624: Switch bedrock to mit-plv base
Diffstat (limited to 'pretyping/evarconv.mli')
0 files changed, 0 insertions, 0 deletions