mirror of
https://github.com/enso-org/enso.git
synced 2024-12-27 21:55:05 +03:00
3a832d3e53
Set the default value correctly, and use it. Fixes #6475. |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |