| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Refactoring: rename tools/editor/ to editor/ | Rémi Verschelde | 2017-03-05 | 1 | -0/+5 |
| The other subfolders of tools/ had already been moved to either editor/, misc/ or thirdparty/, so the hiding the editor code that deep was no longer meaningful. | |||||
