Jean-Christophe Fillion-Robin 96f3514bf2 Dockerfiles: Rename working directory from "/build" to "/work" ...

Since the directory will contain both sources and build, this commit
generalizes its name.

2016-07-16 01:12:58 -04:00

..

Dockerfile

Dockerfiles: Rename working directory from "/build" to "/work"

2016-07-16 01:12:58 -04:00

settings.mk

windows-x64: Migrate to MXE.

2015-05-06 00:08:21 -04:00