* HACKING: Update configuration of warnings.
+2024-04-02 Bruno Haible <bruno@clisp.org>
+
+ gnulib-tool.py: Fix some IDE warnings.
+ * HACKING: Update configuration of warnings.
+
2024-04-01 Bruno Haible <bruno@clisp.org>
gnulib-tool.py: Add developer documentation.
- 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.