Bump glpython-editor to v0.1.17; coverage after Tests - #25

Bump glpython-editor to v0.1.17; coverage after Tests#25

cedricvogel-leo merged 2 commits into

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

feature/coverageglpython-edu/glpython-edu.github.io:feature/coverageCopy head branch name to clipboard