Bump glpython-editor to v0.1.12; «Python neu starten» by the reset command - #17

Bump glpython-editor to v0.1.12; «Python neu starten» by the reset command#17

cedricvogel-leo merged 1 commit into

mainglpython-edu/glpython-edu.github.io:mainfrom

chore/bump-editor-v0.1.12glpython-edu/glpython-edu.github.io:chore/bump-editor-v0.1.12Copy head branch name to clipboard