<html>#2726: no documentation for Lean codes
<table style='border-spacing: 1ex 0pt; '>
<tr><td style='text-align:right'> Reporter:</td><td>Roland Haas</td></tr>
<tr><td style='text-align:right'> Status:</td><td>new</td></tr>
<tr><td style='text-align:right'>Milestone:</td><td></td></tr>
<tr><td style='text-align:right'> Version:</td><td></td></tr>
<tr><td style='text-align:right'> Type:</td><td>bug</td></tr>
<tr><td style='text-align:right'> Priority:</td><td>minor</td></tr>
<tr><td style='text-align:right'>Component:</td><td>EinsteinToolkit thorn</td></tr>
</table>
<p>Comment (by Roland Haas):</p>
<p><span class="ap-mention" data-atlassian-id="557058:a2800088-fc6e-4fbe-9a1e-663271f736bd">@helvi witek</span> <span class="ap-mention" data-atlassian-id="557058:65c5f18c-c3ad-4126-bb2b-be0e766b31ef">@Miguel Zilhão</span> 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.</p>
<p>--<br/>
Ticket URL: <a href='https://bitbucket.org/einsteintoolkit/tickets/issues/2726/no-documentation-for-lean-codes'>https://bitbucket.org/einsteintoolkit/tickets/issues/2726/no-documentation-for-lean-codes</a></p>
</html>