diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-12-17 14:16:17 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-12-17 14:16:17 +0100 |
commit | 2543e1e9838e03adb7f4a811815d34ccf65a3026 (patch) | |
tree | 92fd5e78541bb9c244741de5940e8332e5e983dc /include/Makefile.in | |
parent | 6eddfddeb9da77b6523d8e1ebc2e75c8b5dc5ac9 (diff) | |
parent | 08dcb1504d4900cb6230c99fbbf535c63eb3b332 (diff) |
Merge branch 'release/debian/4.17-1'
Diffstat (limited to 'include/Makefile.in')
-rw-r--r-- | include/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/Makefile.in b/include/Makefile.in index 525f047..40582cf 100644 --- a/include/Makefile.in +++ b/include/Makefile.in @@ -202,7 +202,6 @@ EGREP = @EGREP@ ETAGS = @ETAGS@ EXEEXT = @EXEEXT@ FGREP = @FGREP@ -FILECMD = @FILECMD@ GREP = @GREP@ INSTALL = @INSTALL@ INSTALL_DATA = @INSTALL_DATA@ |