projects / tools / mic.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 58b16f3 bd94737)
Merge "Add some useful prompt"
authorJF Ding <jian-feng.ding@intel.com>
Tue, 16 Aug 2011 09:02:23 +0000 (17:02 +0800)
committerGerrit Code Review <gerrit2@gerrit.bj.intel.com>
Tue, 16 Aug 2011 09:02:23 +0000 (17:02 +0800)

Trivial merge
Domain: SCM / Build;