1 Commits (8f2a3a85a6b6543e4df1988db996c60d9fa16f66)

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