Closed ErhardSiegl closed 4 years ago
See #278. I assume it is only an issue with the documentation and build should be done with ./do.sh build.
./do.sh build
See #278. I assume it is only an issue with the documentation and build should be done with
./do.sh build
.