diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-03-10 00:17:52 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-03-11 16:06:28 +0100 |
| commit | 87d50da9fc6d8e2ed6b09e830bae9473c5a13388 (patch) | |
| tree | 4021f1405d25f774afbe2b4903d69cb7072a42a2 /editor/plugins | |
| parent | bd04ede5adba53f72b5b982e50f669553a048bef (diff) | |
Fix basis_universal to not include tool main file.
Avoid build error due to duplicate `main` symbol definition.
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions