Skip to content

ci: remove old travis ci config#1250

Merged
jd merged 1 commit intognocchixyz:masterfrom tobias-urdin:remove-old-travisJun 14, 2022

Commits