Maxime Coste c4db46b58b Rename line-flags option type to line-specs ... Generalize this option type, which is a timestamped list of <line number>|<arbitrary string>. That way this type is not strongly coupled with the flag-lines highlighter, and can be reused for other use cases.		2017-05-24 15:41:43 +01:00
..
base	Rename line-flags option type to line-specs	2017-05-24 15:41:43 +01:00
core	Fix man.kak when man pages filenames just end up with the manual section	2017-05-23 13:59:31 +01:00
extra	Rename line-flags option type to line-specs	2017-05-24 15:41:43 +01:00