diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-01 16:24:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-01 16:24:45 +0200 |
| commit | 8c8cb1f16d67c020da4ce1844961bc708e57578d (patch) | |
| tree | cf8273f26f46aed11ab061893ec8c29d0ec8f9e3 /misc | |
| parent | 42f1ac2908563df965c2743f927a9dee7651f5a9 (diff) | |
| parent | 02693b9af6cad5ab4e7a7034b850533140bb6f9b (diff) | |
Merge pull request #21658 from ibrahn/remove-unused-editor-genheaders
Removed some unneeded generated headers from the editor directory SCsub.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions