5 Commits

Author SHA1 Message Date
alemuntoni
73744fe708 completely removed xmlpatterns 2020-11-17 11:54:10 +01:00
alemuntoni
633b5fe5b9 fix GITHUB_PATH on windows powershell 2020-11-13 15:19:01 +01:00
alemuntoni
79480239a8 fix deprecated add-path on windows workflows 2020-11-13 14:52:11 +01:00
alemuntoni
6b130dd79d renamings and fixes 2020-10-27 11:27:54 +01:00
alemuntoni
7ab10526d8 cleanup common unuseful files 2020-10-21 17:29:05 +02:00