[ET Trac] #2726: no documentation for Lean codes

[Roland Haas]

#2726: no documentation for Lean codes

 Reporter: Roland Haas
   Status: resolved
Milestone: 
  Version: 
     Type: bug
 Priority: minor
Component: EinsteinToolkit thorn

Changes (by Roland Haas):

status: resolved (was new)


--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2726/no-documentation-for-lean-codes
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.einsteintoolkit.org/pipermail/trac/attachments/20230707/1c510ff3/attachment.htm>