Andreas Fabri a5a3ffb654 Remove unused variable

2021-09-23 17:00:09 +02:00

..

CORE

Remove unused variable

2021-09-23 17:00:09 +02:00

export

extra run of the script to remove tabs and trailing whitespaces

2020-03-26 14:16:06 +01:00