Daniel Shahaf a3d5dfcbda driver: Rename highlighter entry points ... This updates the docs and the driver, in a manner backwards compatible with existing highlighters. (None of the highlighters are touched by this change, yet tests continue to pass.) Part of issue #329.		2016-08-16 17:51:43 +00:00
..
highlighters	'main': Document _pathseparator styles	2016-06-12 09:06:30 +00:00
highlighters.md	driver: Rename highlighter entry points	2016-08-16 17:51:43 +00:00