WIP: smaller docker image, fix docker build
1 parent 79e4513 commit 17bc297d77674e0aad6cf506c2a3c9b37b5c5c75
@Christoph Haas Christoph Haas authored on 8 Apr 2021
Showing 1 changed file
View
Makefile