Update miniedit.py

closes #1147
This commit is contained in:
lantz
2022-11-22 16:33:52 -08:00
committed by GitHub
parent 3f5503d773
commit c5413a74f5