Julian Ospald 6d325a1804 Fix docker builds

2023-07-11 23:44:49 +08:00

..

Dockerfile

Fix docker builds

2023-07-11 23:44:49 +08:00

update_opt.sh

Use debian:10 rather

2023-02-19 18:48:42 +08:00