Patrik J. Braun 49f9749e6a adding docker files		2018-12-05 21:55:11 +01:00
..
debian/stretch	adding docker files	2018-12-05 21:55:11 +01:00
ubuntu/16	adding docker files	2018-12-05 21:55:11 +01:00