diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-21 13:34:32 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-21 13:34:32 +0200 |
commit | 2c709fd34ec189dd4815061307194c7d5944da28 (patch) | |
tree | 911943ed0e8fbf05d1a60e07e43c392b893839bd /examples/simple.v | |
parent | 003203b33ebac04ee6fc933d444584bb1e81f250 (diff) | |
download | verismith-2c709fd34ec189dd4815061307194c7d5944da28.tar.gz verismith-2c709fd34ec189dd4815061307194c7d5944da28.zip |
Add the shell.nix
Diffstat (limited to 'examples/simple.v')
0 files changed, 0 insertions, 0 deletions