amai2012 e0be3f6f1b CI: Build GUI on ubuntu (#2626)		2020-05-03 10:10:39 +02:00
..
workflows	CI: Build GUI on ubuntu (#2626)	2020-05-03 10:10:39 +02:00