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

[Roland Haas]

#2726: no documentation for Lean codes

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

Comment (by Roland Haas):

@{557058:a2800088-fc6e-4fbe-9a1e-663271f736bd} @{557058:65c5f18c-c3ad-4126-bb2b-be0e766b31ef} you are both listed as Lean maintainers in the README file, and I have assigned the ticket to the first one listed. If you would like to change that assignment you should be able to do so via the “Edit” button of the ticket.

--
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/20230509/ed489a8a/attachment.htm>