diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-19 14:48:10 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-19 14:48:10 +0100 |
| commit | 963aff77e8cb73116bdc4b0250dbd61c787159d2 (patch) | |
| tree | d17bc37251bf3f5e8cfe9c15f0508594ed5174da /.envrc | |
| parent | 3597ea839ecffd3398e7ecd98f979e9440a3ce16 (diff) | |
| download | vericert-963aff77e8cb73116bdc4b0250dbd61c787159d2.tar.gz vericert-963aff77e8cb73116bdc4b0250dbd61c787159d2.zip | |
[WIP] Fix usage of externctrl property in proof
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions