Closed michael-hartmann closed 4 years ago
This PR completely disables syntax highlighting for all listings in the manual. The change fixes weired and wrong highlighting. Also, syntax highlighting is not essential or important.
This PR completely disables syntax highlighting for all listings in the manual. The change fixes weired and wrong highlighting. Also, syntax highlighting is not essential or important.