Glavin Wiechert
|
ead89d2404
|
Add helper script for extracting list of options and languages
|
2016-09-04 22:52:52 -03:00 |
|
Glavin Wiechert
|
41ebc5ed93
|
Close #596. Improve README documentation
|
2016-07-02 19:28:01 -03:00 |
|
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 |