on master help sign in
Updated rest doc for semantic highlighting.
commit38c4fb2306cea858283dc05034c3f5f76abf8189 authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateSat 30 May 2015, 11:49 (11 years ago) parent8aa2d25
1 file changed+1−3
docs/reference/semantic-highlighting.rst+1−3
docs/reference/semantic-highlighting.rst+1−3
@@ -1,6 +1,4 @@
1−.. _sect-semantic-high:
2−
3−***************************************
1+****************************************
42Semantic Highlighting & Pretty Printing
53****************************************
64