clarified hook for Mirabelle (again): cover all 'theories' sections within ROOT (see also 9ead8d9be3ab);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE5f73bc0b9e5e: tuned;
- Branches
- Unknown
- Tags
clarified hook for Mirabelle (again): cover all 'theories' sections within ROOT… Tags None Subscribers None
Description
Details
|