diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-07-14 00:54:31 +0200 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-07-26 16:32:49 +0200 |
commit | 41ef1ae0ad4043f308a06365f4e5b1369eb5d453 (patch) | |
tree | f66ac5ef8756df394ade1d4106de7c7a83b94290 /engine | |
parent | dc1db99e019242c07f00837f8316a8d392c40258 (diff) |
Makefile.build: minor simplification
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions