[master] 0ca33e78e flint: Remove duplicate rule
Dridi Boukelmoune
dridi.boukelmoune at gmail.com
Tue Aug 22 06:16:04 UTC 2023
commit 0ca33e78eed4c399635ad11fa70022163561ebdc
Author: Dridi Boukelmoune <dridi.boukelmoune at gmail.com>
Date: Tue Aug 22 08:13:07 2023 +0200
flint: Remove duplicate rule
diff --git a/flint.lnt b/flint.lnt
index 1f5598ded..fc618608f 100644
--- a/flint.lnt
+++ b/flint.lnt
@@ -207,7 +207,6 @@
-esym(534, VSB_putc)
-esym(534, VSB_printf)
-esym(534, VSB_vprintf)
--esym(534, VSB_putc)
///////////////////////////////////////////////////////////////////////
// <vtree.h>
More information about the varnish-commit
mailing list