On Tuesday, 9 July 2019 16:05:13 CEST Pino Toscano wrote:
The approach taken was to run a script (will send separately) to
just
get the "p2v" subdirectory with its history as own repository, and then
add in few followup commits all the bits needed to build.
Attached is the script I used.
--
Pino Toscano