io
|
Fix #20641, #20645. Someone forgot to update scripts ;)
|
2010-01-12 11:21:42 +00:00 |
presets
|
netrender tab to spaces
|
2009-12-29 00:04:57 +00:00 |
templates
|
spelling errors, no real changes to code.
|
2010-01-14 10:59:42 +00:00 |
ui
|
Text Editor: Add an option "Tabs as Spaces".
|
2010-01-14 21:30:51 +00:00 |