Sat, 16 Dec 2017 13:41:40 +0100More Makefile updates.
Edouard Tisserant <edouard.tisserant@gmail.com> [Sat, 16 Dec 2017 13:41:40 +0100] rev 30
More Makefile updates.

Wed, 06 Dec 2017 15:50:36 +0100Upgrade Makefile
Edouard Tisserant [Wed, 06 Dec 2017 15:50:36 +0100] rev 29
Upgrade Makefile

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