| Wed, 06 Dec 2017 15:50:36 +0100 | Edouard Tisserant | Upgrade Makefile | changeset | files |
| Wed, 06 Dec 2017 09:56:32 +0100 | Edouard Tisserant | HGROOT now default to parent of directory containing makefile. Added more instruction in Dockerfile | changeset | files |