This repository has been archived on 2024-01-04. You can view files and clone it, but cannot push or open issues or pull requests.

Thomas Boerger c6b6a61bf1 Fixing multiple docker issues (#386) ... * Added stupid docker task to makefile * Dropped unknown option PrintLastLog from docker ssh config * OpenSSH should log to docker stdout * Set random pw for docker git user, otherwise it is locked * Stop using templates and public within docker		2016-12-15 17:16:55 +08:00
..
finish
run	Fixing multiple docker issues (#386)	2016-12-15 17:16:55 +08:00
setup