main branch default auf github ab Oktober 2020

pep-dortmund / toolbox-workshop

Materialien zum PeP et al. Toolbox-Workshop

http://toolbox.pep-dortmund.org

Other

26 stars 6 forks source link

Closed dormail closed 4 years ago

dormail commented 4 years ago

Ab Oktober heißt der default-branch auf github nicht mehr master sondern main