search

pep-dortmund / toolbox-workshop

Materialien zum PeP et al. Toolbox-Workshop
http://toolbox.pep-dortmund.org
Other
26 stars 6 forks source link

git: main is common #310

Closed chrbeckm closed 2 years ago

maxnoe commented 2 years ago

Fix for broken CI here: #311