Skip to content

mention that the ASCII syntax exists (but we recommend unicode)

Ralf Jung requested to merge ralf/ascii into master

I didn't want to just push saying that "we recommend" something, hence the MR. @robbertkrebbers @jjourdan what do you think?

Merge request reports