Fix pruning - Githubissues

fsi-tue / eei

Erst Einführungs Interface

https://eei.fsi.uni-tuebingen.de/

GNU Affero General Public License v3.0

2 stars 28 forks source link

Closed am9zZWY closed 6 months ago

am9zZWY commented 6 months ago

Sorry for the hideous history… I forgot to update my upstream branch.