git.iko.soy/Idris-dev
on master help sign in
Updated rest doc for semantic highlighting.
38c4fb2Jan de Muijnck-Hughes
docs/reference/semantic-highlighting.rst+1−3
compare with master
unifiedsplit
@@ -1,6 +1,4 @@
1−.. _sect-semantic-high:
1+****************************************
2−
3−***************************************
4Semantic Highlighting & Pretty Printing
2Semantic Highlighting & Pretty Printing
5****************************************
3****************************************
6
4