From eec5a96f455942cac2f972f76babfe624849dccc Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Mon, 4 Jun 2018 23:29:34 +0200 Subject: [PATCH] fix a few disting issues --- contrib/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/Makefile.am b/contrib/Makefile.am index d3710a10c..56fcb9aea 100644 --- a/contrib/Makefile.am +++ b/contrib/Makefile.am @@ -62,7 +62,7 @@ EXTRA_DIST = \ scripts/removetrailingwhitespace.py.in \ scripts/pydiffer.py.in \ packages/nix/default.nix \ - packages/nix/gnunet-dex.nix \ + packages/nix/gnunet-dev.nix \ 3rdparty/Windows/openvpn-tap32/tapw32/tap0901.sys \ 3rdparty/Windows/openvpn-tap32/tapw32/tap0901.cat \ 3rdparty/Windows/openvpn-tap32/tapw32/OemWin2k.inf \ -- 2.25.1