3 Commits

Include renames

Author	SHA1	Message	Date
Dr. Matthias Ratajczak	e707532eca	activate more lints	2023-02-13 20:42:48 +01:00
Dr. Matthias Ratajczak	d5ad0ab0a1	adjust lint groups, start fixing lints	2023-02-13 20:39:58 +01:00
Dr. Matthias Ratajczak	2b7b7f8e28	introduce workspace	2023-02-13 19:46:35 +01:00