Files
Patrick Steinhardt f8974af4f1 ci: remove unused old ci scripts
(cherry picked from commit 24d175621b)
2018-10-19 13:47:12 +02:00
..