4 commits

Author	SHA1	Message	Date
Michael Telatynski	062e93a5d2	Tidy and improve dev scripts (#25978)	2023-08-18 08:34:56 +01:00
Michael Weimann	7921a6cbf8	Apply prettier formatting	2022-12-09 13:28:29 +01:00
Šimon Brandner	ee3b9c3310	Improve dead code detection (#22829)	2022-07-25 09:35:48 +00:00
Šimon Brandner	e1d4817d54	Add a script to check for dead code (#22793)	2022-07-13 10:04:32 +02:00