From: Bruno Haible Date: Tue, 2 Apr 2024 11:38:32 +0000 (+0200) Subject: gnulib-tool.py: Fix some IDE warnings. X-Git-Tag: v1.0~188 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=e6acc19c0d4724d4f22f0d5ed1bf25d15c10bdc3;p=gnulib.git gnulib-tool.py: Fix some IDE warnings. * HACKING: Update configuration of warnings. --- 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.