projects / tools / mic.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 501a54a d1adcc4)
Merge "support multiple mic execution at same time" into devel
authorpark <sk7.park@samsung.com>
Thu, 1 Jun 2017 09:42:22 +0000 (09:42 +0000)
committerGerrit Code Review <gerrit@review.ap-northeast-2.compute.internal>
Thu, 1 Jun 2017 09:42:22 +0000 (09:42 +0000)

Trivial merge
Domain: SCM / Build;