Wed, 06 Dec 2017 09:56:32 +0100HGROOT now default to parent of directory containing makefile. Added more instruction in Dockerfile
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 06 Dec 2017 09:56:32 +0100] rev 28
HGROOT now default to parent of directory containing makefile. Added more instruction in Dockerfile

Tue, 05 Dec 2017 00:11:48 +0100merged
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 05 Dec 2017 00:11:48 +0100] rev 27
merged