From f7edca801cd006ab4129f48b8b94fb6ab38df74e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 7 Oct 2019 10:23:30 +0100 Subject: Remove reference to nix files --- verismith.cabal | 1 - 1 file changed, 1 deletion(-) (limited to 'verismith.cabal') 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 -- cgit