mirror of
https://github.com/enso-org/enso.git
synced 2024-12-22 21:01:37 +03:00
d0b67bc50d
- Re-enable the "Local" settings tab - It contains a single input to change the root directory of - Add settings icon to jump to "Local" settings tab, next to "Local" category # Important Notes None |
||
---|---|---|
.. | ||
client | ||
common | ||
icons |