diff options
author | 2017-03-16 00:20:01 +0100 | |
---|---|---|
committer | 2017-03-17 23:18:22 +0000 | |
commit | 4412a834b3c82d38a97bf65d096acab72980e9f4 (patch) | |
tree | e5508fd7bb34d927693ad6243f3ebe2b7874b933 /deploy/cloud/deployment.py | |
parent | a8ede12de7d762f1753ad72c6339040755c57dc9 (diff) |
f_repos: Set git patch format explicitly
Skip patch format auto-detection, by setting it explicitly to "mbox".
This allows adding license headers to patch files.
JIRA: ARMBAND-236
Change-Id: I2b19ced80984ea98e220935c9d36836e62203bb7
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
(cherry picked from commit 672c1df70b8cafe61a3edaa66fbf9e8dba2b12e2)
Diffstat (limited to 'deploy/cloud/deployment.py')
0 files changed, 0 insertions, 0 deletions