| commit | eb176832330bdde7fc606ebb69ea07cd0bb60280 | [log] [tgz] |
|---|---|---|
| author | Antonin Stefanutti <antonin@stefanutti.fr> | Tue Oct 08 16:42:34 2019 +0200 |
| committer | Antonin Stefanutti <astefanutti@users.noreply.github.com> | Wed Oct 09 14:24:34 2019 +0200 |
| tree | 712e51488361314cac28f17dbfe157156c2a5f60 | |
| parent | 00a51520832d3b743aa1fb8e39954744a0d10481 [diff] |
chore(install): Do not create default platform when global option is set