Jakob Ackermann dab38c375d [docker] drop the docker Makefile from the image (#6507)

2019-05-05 22:49:32 -04:00

..

root

[docker] drop the docker Makefile from the image (#6507)

2019-05-05 22:49:32 -04:00

Makefile

Make CustomPath, CustomConf and AppWorkPath configurable at build (#6631)

2019-04-29 14:08:21 -04:00