search

mu-editor / mu

A small, simple editor for beginner Python programmers. Written in Python and Qt5.
http://codewith.mu
GNU General Public License v3.0
1.4k stars 434 forks source link

updated fix2375 here only to see what CI says about it #2394

Closed haikusw closed 1 year ago

haikusw commented 1 year ago

2386 is the real PR. This all checks fine locally but want to check CI.