serso 6b89deee80 Calculation time preference removed		2016-01-07 20:38:20 +01:00
..
main	Calculation time preference removed	2016-01-07 20:38:20 +01:00
test	Text highlighter optimizations	2016-01-07 12:11:07 +01:00