--- a/scripts/cleanupSource.py Mon Dec 18 16:39:44 2023 +0100 +++ b/scripts/cleanupSource.py Mon Dec 18 17:45:20 2023 +0100 @@ -18,7 +18,8 @@ Cleanup the sources directory to get rid of leftover files and directories. - @param dirName name of the directory to prune (string) + @param dirName name of the directory to prune + @type str """ # step 1: delete all Ui_*.py files without a corresponding # *.ui file