Francesco Borzì 0e87deb416 Several improvements to Docker: ...

- ability to reload configuration files without building again the images
- faster images building
- corrected a mistake
- logs are saved to the main host

2019-01-13 02:38:04 +01:00

..

.gitkeep

Several improvements to Docker:

2019-01-13 02:38:04 +01:00