mirror of
https://github.com/enso-org/enso.git
synced 2024-12-30 19:46:03 +03:00
b69fa516b7
If the user does not have sufficient permissions to open the project, the project no longer shows the play button. However, this does not work on the local backend because the local backend lacks permissions completely. # Important Notes None
6 lines
454 B
XML
6 lines
454 B
XML