mirror of
https://github.com/enso-org/enso.git
synced 2025-01-02 02:29:03 +03:00
86432b5ca5
This change ensures that we can have at most one hook of the same action during shutdown. Verified the change on a real project. Closes #6767. |
||
---|---|---|
.. | ||
src | ||
README.md |
Project Manager
This library implements the functionality and messages backing the project manager component of the Enso Protocol.