[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] 01/02: contrib: remove deleted file from makefile
From: |
gnunet |
Subject: |
[gnunet] 01/02: contrib: remove deleted file from makefile |
Date: |
Mon, 16 Oct 2023 15:54:49 +0200 |
This is an automated email from the git hooks/post-receive script.
martin-schanzenbach pushed a commit to branch master
in repository gnunet.
commit 290e735e7b7d9c9f45133ec248fd4712d04cc707
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Mon Oct 16 15:47:17 2023 +0200
contrib: remove deleted file from makefile
---
contrib/Makefile.am | 1 -
1 file changed, 1 deletion(-)
diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index 65a8e8da9..0e8d89c71 100644
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -196,7 +196,6 @@ EXTRA_DIST = \
docker/README.md \
benchmark/collect.awk \
packages/guix/guix.scm \
- indent_pre-commit \
Makefile.inc \
vagrant/Vagrantfile \
vagrant/bootstrap.ubuntu.sh \
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.