diff --git a/DEVELOPERS b/DEVELOPERS index c7f2dd9537..11011406ea 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -1476,10 +1476,11 @@ F: package/fcgiwrap/ N: Thomas Davis F: package/civetweb/ -N: Thomas De Schampheleire -F: package/libpfm4/ -F: package/mkpasswd/ -F: package/zeromq/ +N: Thomas De Schampheleire +F: docs/manual/ +F: support/scripts/size-stats +F: support/scripts/size-stats-compare +F: toolchain/ N: Thomas Petazzoni F: arch/Config.in.arm