1 Commits (ebe56325ff92ca63bd058a2c054c9a6c5de86dcf)

Author SHA1 Message Date
  Jakob Ackermann dab38c375d [docker] drop the docker Makefile from the image (#6507) 7 years ago