mirror of
https://github.com/enso-org/enso.git
synced 2024-11-22 22:10:15 +03:00
c558dec315
Fixes context menu options incorrectly being hidden due to incorrect logic when determining whether someone else is opening a project # Important Notes None |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |