Maxim Baz 26bc173631 Fix python indent for lines ending with colon		2018-07-08 18:21:01 +02:00
..
base	Rename highlighters that used an underscore to use a dash	2018-07-08 19:14:15 +10:00
core	Fix python indent for lines ending with colon	2018-07-08 18:21:01 +02:00
extra	go-tools.kak: Fix go-disable-autocomplete	2018-07-08 21:02:51 +10:00