>From e6acc19c0d4724d4f22f0d5ed1bf25d15c10bdc3 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 2 Apr 2024 13:38:32 +0200 Subject: [PATCH 1/4] gnulib-tool.py: Fix some IDE warnings. * HACKING: Update configuration of warnings. --- ChangeLog | 5 +++++ HACKING | 2 ++ 2 files changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index 1668b7cfd8..48db28222d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2024-04-02 Bruno Haible + + gnulib-tool.py: Fix some IDE warnings. + * HACKING: Update configuration of warnings. + 2024-04-01 Bruno Haible gnulib-tool.py: Add developer documentation. diff --git a/HACKING b/HACKING index 119bac8c10..74f298081d 100644 --- a/HACKING +++ b/HACKING @@ -539,6 +539,8 @@ With Eclipse and PyDev as IDE - Once installed, restart the IDE. - Window > Preferences > PyDev > Interpreters > Python Interpreter: New > path: /usr/bin/python3 + - Window > Preferences > PyDev > Editor > Code Analysis: + Others > Redefinition of builtin symbols: Ignore * Create a project: Let GNULIB_DIR be my gnulib checkout. -- 2.34.1