diff options
author | varac <varacanero@zeromail.org> | 2015-04-15 20:39:41 +0000 |
---|---|---|
committer | varac <varacanero@zeromail.org> | 2015-04-15 20:39:41 +0000 |
commit | ca95bcfc1adac8fdddfc5c766836c1391d18a7dc (patch) | |
tree | ff7c636d9ec288407489d45b9b6f200c89458e8e /platform-test-common.cfg.example | |
parent | d80a8369c690069a16de2bcb8c9c370cb26d4d35 (diff) |
update_platform() is now able to updated even if branch was forcefully pushed, i.e. rebased
Diffstat (limited to 'platform-test-common.cfg.example')
0 files changed, 0 insertions, 0 deletions