Skip to content

[cleanup] Remove outdated file .jenkins.sh#653

Merged
jrochel merged 1 commit intoocsigen:masterfrom ilankri:cleanup-jenkinsMar 25, 2022

Commits

Commits on Mar 18, 2022