gnulib-tool.py: Add missing docstring. * pygnulib/GLModuleSystem.py (GLModule.getShellId): Add docstring forgotten in the previous commit.
2024-05-28T23:26:19