commit c9e8d7ef661fb186a4839b1159c7bc7848a3435b
Author: Pavel Sanda <[email protected]>
Date: Fri May 23 01:45:10 2025 +0200
* header_check.sh - add hint for casual readers.
---
development/tools/header_check.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/development/tools/header_check.sh
b/development/tools/header_check.sh
index ce65595e58..990a0be39d 100755
--- a/development/tools/header_check.sh
+++ b/development/tools/header_check.sh
@@ -135,6 +135,7 @@ done
if [ -e ../development/tools/header_check-filter_candidates.sh ]; then
echo Filtering suitable candidates from .cpp list...
+ echo "Following are strong candidates from above for removal:" >>
"${LOG_FILE}"
../development/tools/header_check-filter_candidates.sh >> "${LOG_FILE}"
fi
--
lyx-cvs mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-cvs
