This repository was archived by the owner on Jun 24, 2020. It is now read-only.
This repository was archived by the owner on Jun 24, 2020. It is now read-only.
Move contrib/clemux/docker somewhere else in the tree #43
Description
The docker setup is almost complete. Once it proves to be usable, it should be moved from contrib/clemux somewhere else in the source tree (most likely it should replace contrib/docker).