Ludy 42677fbd5d Fix: wrong selected repository; disable Push - missing permission (#1785)		2024-08-31 21:48:40 +01:00
..
check_duplicates.py	🔨 add Developer tools/scripts (#828)	2024-03-13 22:18:15 +00:00
check_language_properties.py	Fix: wrong selected repository; disable Push - missing permission (#1785)	2024-08-31 21:48:40 +01:00
check_tabulator.py	minor changes in the DEV tools and more (#1578)	2024-07-22 21:15:10 +01:00
gradle_to_chart.py	🔨 add Developer tools/scripts (#828)	2024-03-13 22:18:15 +00:00