aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-06-04 23:29:34 +0200
committerChristian Grothoff <christian@grothoff.org>2018-06-04 23:29:34 +0200
commiteec5a96f455942cac2f972f76babfe624849dccc (patch)
tree1c4de3daaf98fcb91b9ee8729089bc1e27688363
parent5eb8efafea6d28afb22316e6a51ca9fcabc882cd (diff)
fix a few disting issues
-rw-r--r--contrib/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index d3710a10c1..56fcb9aeab 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 \