projects / oweals / gnunet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: bd7147b)
followup
authorng0 <ng0@n0.is>
Wed, 6 Mar 2019 17:01:52 +0000 (17:01 +0000)
committerng0 <ng0@n0.is>
Wed, 6 Mar 2019 17:01:52 +0000 (17:01 +0000)
configure.ac patch | blob | history

diff --git a/configure.ac b/configure.ac
index 53dac3003d8c09845a98ae1897f8fbd9b4f84f2b..d858dca9c636caa19d7398d5ca05d8efe3445b7b 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1720,6 +1720,7 @@ doc/man/Makefile
 doc/doxygen/Makefile
 doc/handbook/Makefile
 doc/tutorial/Makefile
+lint/Makefile
 m4/Makefile
 po/Makefile.in
 src/Makefile
Unnamed repository; edit this file 'description' to name the repository.