| Thu, 19 May 2022 18:05:37 +0200 | Edouard Tisserant | Add md5 sums forgotten in earlier commit | changeset | files |
| Tue, 17 May 2022 16:03:04 +0200 | etisserant | Dockerfile: use script rather than alias so that bash doesn't need to be interactive shell with a TTY | changeset | files |