[gnurl] 07/10: rename

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnurl.

commit 15b086eceff60a9b11de063ff92107dea036c4e9
Author: ng0 <address@hidden>
AuthorDate: Mon Nov 18 11:43:36 2019 +0000

    rename
---
 aux-gnurl/bootstrap              | 2 +-
 aux-gnurl/{Makefile => makefile} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/aux-gnurl/bootstrap b/aux-gnurl/bootstrap
index c0365e5fe..71a013e31 100755
--- a/aux-gnurl/bootstrap
+++ b/aux-gnurl/bootstrap
@@ -1,3 +1,3 @@
 #!/bin/sh
 
-cd aux-gnurl ; git restore -- Makefile ; make "$@"
+cd aux-gnurl ; git restore -- makefile ; make "$@"
diff --git a/aux-gnurl/Makefile b/aux-gnurl/makefile
similarity index 100%
rename from aux-gnurl/Makefile
rename to aux-gnurl/makefile

-- 
To stop receiving notification emails like this one, please contact
address@hidden.