1 Jul
2023
1 Jul
'23
4:15 p.m.
#2726: no documentation for Lean codes
Reporter: Roland Haas Status: new Milestone: Version: Type: bug Priority: minor Component: EinsteinToolkit thorn
Comment (by Miguel Zilhão):
I’ve added two documentation files here:
* [https://bitbucket.org/canuda/lean%5C_public/commits/d668ce9f7b48e457b68ef915...) * [https://bitbucket.org/canuda/lean%5C_public/commits/36c1afcfc6305dea54cae62d...)
-- Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2726/no-documentation-f...