search

slatex / sTeX-IDE

GNU General Public License v3.0
0 stars 0 forks source link

error in linter error message? #23

Closed kohlhase closed 2 years ago

kohlhase commented 2 years ago

I get the following the true at the end seems wrong.

Screenshot 2022-09-30 at 08 33 16
Jazzpirate commented 2 years ago

Indeed, that was a leftover from printline-debugging :D Removed (upcoming MMT-commit)