diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-11-18 09:20:46 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-11-18 09:20:46 -0300 |
| commit | b08312b30c5fa47bffc2d21d4cb57520b822bf45 (patch) | |
| tree | b094db61ac28b92e5f915b5d971e4c145185c6d6 /platform | |
| parent | 18e014a193840141911789aacf57b28a2e001724 (diff) | |
-Fixed default theme a little
-Added option to group help pages, fixes #2805
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions