|
|
4805801e65
|
let the Dockerfile pull its own copy of the repo, so we get a proper git env with ./run.sh
|
2025-12-07 10:56:22 +01:00 |
|
|
|
f2405febc9
|
Dockerfile/TODO: use git clone instead
|
2025-12-07 10:31:13 +01:00 |
|
|
|
b57bdea231
|
build using Docker
|
2025-12-05 10:03:05 +01:00 |
|
