3 commits

Author	SHA1	Message	Date
Stefano Pigozzi	4feb9cba14	Tweak github builder again	2022-10-02 15:43:36 +02:00
Stefano Pigozzi	93f0ca565a	Tweak github builder	2022-10-02 15:42:40 +02:00
Stefano Pigozzi	671530de7e	Initial commit	2022-09-30 23:47:28 +02:00