diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-21 14:24:12 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-21 14:24:12 +0200 |
commit | 58c0c75859a63bc60064a265eb3ea0ae669b4137 (patch) | |
tree | 5338cd24bb74c4d351bc3a8c650a5456b34b8beb /.envrc | |
parent | 4ed9bc7e68c23aecc1b6e1ca15fe5106680e1004 (diff) | |
download | verismith-58c0c75859a63bc60064a265eb3ea0ae669b4137.tar.gz verismith-58c0c75859a63bc60064a265eb3ea0ae669b4137.zip |
Add .env and fix VeriFuzz.hs
Diffstat (limited to '.envrc')
-rw-r--r-- | .envrc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +use nix |