Maarten Billemont 34042e5462 Extract user preferences into a separate class.		2018-10-13 18:07:24 -04:00
..
algorithm	Documentation and interface tweaks.	2018-09-22 19:43:13 -04:00
gui	Extract user preferences into a separate class.	2018-10-13 18:07:24 -04:00
model	Extract user preferences into a separate class.	2018-10-13 18:07:24 -04:00
tests	Tweak include paths & add clean support to android libs.	2018-07-03 11:21:48 -04:00