Commit graph

2 commits

Author SHA1 Message Date
pedro f9393b5311 build_common: no branches, main; ensure git dir 2024-01-23 10:42:42 +01:00
pedro 3af59e9423 bugfix namespace, build__all script, simple pilots
- build__all.sh
- build__common.sh (includes common_start and common_end) which
  simplifies pilots
2024-01-19 11:01:49 +01:00