ftilmann

Results 111 comments of ftilmann

I was referring to a new way of marking a block where markup should be suppressed, which has only been introduced recently, which uses special comments (`%BEGIN DIFNOMARKUP` and `%END...