diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-03-14 17:15:28 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-03-14 17:15:28 +0000 |
commit | 3e73cebdb2ef8df99f416696d040e797b856cd24 (patch) | |
tree | 83d4ac0a715e5d1417ee711544ef900a254a263e /wayland-armv7-versatile.morph | |
parent | 5c3cbd96b2d69b77909c4817e7c73dd3060f7f81 (diff) | |
download | definitions-3e73cebdb2ef8df99f416696d040e797b856cd24.tar.gz |
trove: Allow TROVE_HOSTNAME different to TROVE_ID
This is necessary for git.baserock.org, whose TROVE_PREFIX and TROVE_ID is
'baserock' but whose hostname certainly isn't.
Diffstat (limited to 'wayland-armv7-versatile.morph')
0 files changed, 0 insertions, 0 deletions