tenzap cf0e8a1926 [nonet migration] adapt Makefile and github worklow, update build doc ...

This will permit to build on the github workflow both the 'net' and 'nonet'
variant

2022-12-10 20:44:55 +01:00

..

build.yml

[nonet migration] adapt Makefile and github worklow, update build doc

2022-12-10 20:44:55 +01:00