Infrastructure update.

Change-Id: I8074053154fbb259ab25e4a56b0cf37db411e7bc
This commit is contained in:
Zdunowski, Piotr
2018-12-10 15:45:49 +01:00
committed by sys_ocldev
parent 6202b2222b
commit 088bb418c0

View File

@@ -17,7 +17,7 @@ components:
branch: infra
clean_on_sync: true
dest_dir: infra
revision: 2cb00841a924f9595980afbc69a68d42556bfffc
revision: 6e020e45c91852cf77b3a9c9d7eeaaae6be42cd8
type: git
internal:
branch: master