diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-27 09:05:04 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-11 12:02:45 +0100 |
commit | 7458a601cecf4d6f22ffd284ebe5ec114f7f0b56 (patch) | |
tree | 6900b803c8682639181fbdbc99a4a82b8502fa00 /editor | |
parent | 4aea9f74e650743fe6585d5230dd6e5f6c94c478 (diff) |
basis_universal: Fix py3 build and document license and provenance
Also drop unneeded files.
Fix build with MinGW. Closes #32384.
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions