1 Commits (eee11cf1ce0d4fe4200ea76a55c88da7f286a2df)

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