diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-04-26 10:07:23 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-04-26 10:07:23 +0200 |
| commit | 2c026c4c961f7aca93a6d1015d788edbbd654027 (patch) | |
| tree | d058ded33d555e6664bef504b829394fb5a56fba /tools/editor | |
| parent | 82a725a3fd8033c87c2e15232bab6dd01e877710 (diff) | |
| parent | d3811b490d5cad9ccac329a7266cce0520892673 (diff) | |
Merge pull request #4441 from akien-mga/pr-drop-obsolete-platforms
Drop obsolete platforms
Diffstat (limited to 'tools/editor')
0 files changed, 0 insertions, 0 deletions