4 Commits

Author	SHA1	Message	Date
Glavin Wiechert	1009945b8a	Fix built-options and docs script adding duplicate beautifiers	2016-04-16 16:15:14 -03:00
Glavin Wiechert	98fe2aa777	Fixes #891. Fix build-options postinstall script for Windows	2016-04-04 10:59:13 -03:00
Glavin Wiechert	fa9dd8dd4f	Merge branch 'master' into better-settings	2016-04-01 10:40:26 -03:00
Glavin Wiechert	f65453d7bb	See #876, #679. Build beautifier options postinstall instead of activate	2016-03-29 15:49:51 -03:00