https://github.com/ohrrpgce/ohrrpgce/commit/da41275d7aa6e2ed86c5e80acf169296068bd3b6
Author: james <james@7d344553-34f0-0310-a9b1-970ce8f1c3a2>
Date: Wed Jan 7 16:27:31 2026 +0000
Rename the docker linux 32 bit image and folder
.../{ohrrpgce-build-env-x86 => ohrrpgce-build-env-linux-x86}/Dockerfile | 0
.../{ohrrpgce-build-env-x86 => ohrrpgce-build-env-linux-x86}/lin32.sh | 2 +-
nightly/wrap-nightly-linux-x86.sh | 2 +-
3 files changed, 2 insertions(+), 2 deletions(-)
_______________________________________________
Ohrrpgce mailing list
[email protected]
http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org