Age | Commit message (Expand) | Author |
---|---|---|
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 |
2016-08-06 | Likely with bugs and with some features are missing, as well as profiler supp... | Juan Linietsky |