PistoiaHELM / monomer.org

A repository to track the development of monomer.org site to host universal HELM interpreter and related monomer libraries.
MIT License
1 stars 0 forks source link

Deleting a library #62

Closed ClairePA closed 3 years ago

ClairePA commented 3 years ago

It must be possible for an admin level user to delete a library and all versions. This must not be available to the library owner as it is a drastic step and should not be undertaken lightly.

ClairePA commented 3 years ago

Fixed. Close.