10 May
2023
10 May
'23
4:19 a.m.
#2726: no documentation for Lean codes
Reporter: Roland Haas Status: new Milestone: Version: Type: bug Priority: minor Component: EinsteinToolkit thorn
Changes (by Miguel Zilhão):
responsible: [] (was []) assignee: Miguel Zilhão (was helvi witek)
-- Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2726/no-documentation-f...