#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-f...