Skip to content

Gone are the days of Dockerfiles... remove the remaining mentions of it!

Martin Roukala requested to merge no_dockerfile into master

Only the top commit should be controversial, and I would really like to have @chturne's opinion of it as he was the writing the original TODO.

Merge request reports