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 |