Go to file
2011-07-06 08:05:34 +02:00
plugin Bind highlight to standard highlighting. 2011-07-06 08:05:34 +02:00