King_DuckZ 8d9fefdc19 Build fix		2018-10-13 16:46:56 +01:00
..
kamokan	Add a cache_highlighted setting to let users turn caching off.	2017-08-08 10:13:16 +01:00
kamokan_impl	Build fix	2018-10-13 16:46:56 +01:00
tawashi	Buildfix - use the new int_to_ary	2018-10-13 15:04:11 +01:00