Age | Commit message (Expand) | Author |
---|---|---|
2017-05-09 | New customizable editor theme | volzhs |
2017-05-03 | Revert "Add new editor and default theme (WIP)" | volzhs |
2017-04-27 | Add new editor and default theme (WIP) | Daniel J. Ramirez |
2017-03-05 | Refactoring: rename tools/editor/ to editor/ | RĂ©mi Verschelde |