diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-31 18:58:32 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-31 18:58:32 +0000 |
commit | c50b4607f501a991e18088f75d04ff6d5bce66a8 (patch) | |
tree | 631d93fd0324cdd71be7f98028f807d56f0503b0 /.envrc | |
parent | 6e2259a57b6ca00c068b176b9d5087ed632598c2 (diff) | |
download | vericert-c50b4607f501a991e18088f75d04ff6d5bce66a8.tar.gz vericert-c50b4607f501a991e18088f75d04ff6d5bce66a8.zip |
Add construction of state in sem
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions