#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%5D(https://github.com/wokast/RePr...) was approved.

[https://bitbucket.org/einsteintoolkit/manifest/pull-requests/9/einsteintoolk...)

-- Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2551/include-reprimand-...