diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-19 15:09:41 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-19 15:09:41 +0000 |
commit | 2217a79966ec6a3ff84ba9da4cdb9d511c1c8b23 (patch) | |
tree | aad66dbb1fe1692a79fe14dd1c0c20337689afe8 /_CoqProject | |
parent | 6e290b7049fc874c32e62ab816493dc5200ebc4e (diff) | |
download | vericert-kvx-2217a79966ec6a3ff84ba9da4cdb9d511c1c8b23.tar.gz vericert-kvx-2217a79966ec6a3ff84ba9da4cdb9d511c1c8b23.zip |
Add .envrc for a consistent environment
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions