diff options
-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 |