[ET Trac] #2551: include RePriMand in the ET

[Roland Haas]

#2551: include RePriMand in the ET

 Reporter: Roland Haas
   Status: new
Milestone: ET_2021_11
  Version: development version
     Type: enhancement
 Priority: major
Component: 

Comment (by Roland Haas):

Here’s a pull request to include the ET\_interface thorns as an ExternalLibrary in the ET. It is not build right now, but could be if [https://github.com/wokast/RePrimAnd/pull/8](https://github.com/wokast/RePrimAnd/pull/8) was approved.

[https://bitbucket.org/einsteintoolkit/manifest/pull-requests/9/einsteintoolkitth-add-reprimand](https://bitbucket.org/einsteintoolkit/manifest/pull-requests/9/einsteintoolkitth-add-reprimand)

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2551/include-reprimand-in-the-et
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.einsteintoolkit.org/pipermail/trac/attachments/20211028/86a5c680/attachment.html