log docker/README.md @ 586:2821e087a973

age author description
Mon, 03 Sep 2018 19:07:00 +0200 Tom Gottfried Improve docker usage and related docs
Mon, 27 Aug 2018 17:24:08 +0200 Tom Gottfried Move docker stuff from schema to dedicated docker directory base schema/README@9415bc55c8ed