Sybren A. Stüvel 7cb4b37ae2 Renamed some docker files to Dockerfile ...

This makes it simpler to manage by using the default name. It also helps
my editor to recognise the file and highlight it properly.

2018-03-23 12:42:56 +01:00

..

build.sh

Renamed some docker files to Dockerfile

2018-03-23 12:42:56 +01:00

Dockerfile

Renamed some docker files to Dockerfile

2018-03-23 12:42:56 +01:00