Maarten Billemont 3fc8acba70 Global hotkey, iconifying and application activation, help text.		2018-07-31 14:55:19 -04:00
..
algorithm	Fix default type for new sites & site UI updating.	2018-07-29 15:10:45 -04:00
gui	Global hotkey, iconifying and application activation, help text.	2018-07-31 14:55:19 -04:00
model	Fix default type for new sites & site UI updating.	2018-07-29 15:10:45 -04:00
tests	Tweak include paths & add clean support to android libs.	2018-07-03 11:21:48 -04:00