projects / platform / upstream / mic.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ee47d0e 777c539)
Merge pull request #6 from xiaoqiang0/master
authorJF Ding <jfding@gmail.com>
Fri, 16 Dec 2011 07:18:26 +0000 (23:18 -0800)
committerJF Ding <jfding@gmail.com>
Fri, 16 Dec 2011 07:18:26 +0000 (23:18 -0800)
Added priority/cost repo option support


Trivial merge
Domain: SCM / Build;