diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-10-07 10:23:30 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-07 10:23:30 +0100 |
commit | f7edca801cd006ab4129f48b8b94fb6ab38df74e (patch) | |
tree | 85e57dd0e373a3e8b3322f4b8896f87652c8fb98 /verismith.cabal | |
parent | 8c02d755cc947a27d1f2f035cf5b05cb63baba0d (diff) | |
download | verismith-f7edca801cd006ab4129f48b8b94fb6ab38df74e.tar.gz verismith-f7edca801cd006ab4129f48b8b94fb6ab38df74e.zip |
Remove reference to nix files
Diffstat (limited to 'verismith.cabal')
-rw-r--r-- | verismith.cabal | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/verismith.cabal b/verismith.cabal index b850b28..36a7777 100644 --- a/verismith.cabal +++ b/verismith.cabal @@ -17,7 +17,6 @@ extra-source-files: README.md , data/*.v , examples/*.v , examples/config.toml - , nix/*.nix , scripts/*.py , scripts/*.sh |