155 commits

Author	SHA1	Message	Date
Andrey Antukh	6fe09bf784	Minor fixes on dockerfile and manage.sh script.	2017-01-30 16:59:29 +01:00
Andrey Antukh	1b687a0d79	Update docker image.	2017-01-30 16:59:29 +01:00
Andrey Antukh	730bbba2b9	Disable :advanced compilation in dist-main script.	2016-11-21 23:32:29 +01:00
Andrey Antukh	661e2d821e	Adapt docker start scripts to new directory structure.	2016-11-20 20:40:30 +01:00
Andrey Antukh	94aee02fb9	Import docker related files.	2016-11-20 20:08:24 +01:00