diff options
author | Pedro Alvarez <pedro.alvarez@codethink.co.uk> | 2014-09-10 17:59:55 +0100 |
---|---|---|
committer | Pedro Alvarez <pedro.alvarez@codethink.co.uk> | 2014-09-17 17:02:48 +0100 |
commit | d980deeb057d80b3c2f83eb2dff2c5b8a7de3a1d (patch) | |
tree | 73fdb280280d7e89a771c5dff4ef97d80c461ea0 /genivi-devel-system-armv7 | |
parent | 6403bca5a1e483f689c6224a4e6c88b495a666da (diff) | |
download | definitions-d980deeb057d80b3c2f83eb2dff2c5b8a7de3a1d.tar.gz |
trove.configure: Make UPSTREAM_TROVE optional
Diffstat (limited to 'genivi-devel-system-armv7')
0 files changed, 0 insertions, 0 deletions