add a screenshot of a lean 5.7
[nano-editor.git] / colorsyntax.png
CommitLineData
1b1bdcd3
MF
1