projects / tools / mic.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: aefd550 ac8f3be)
Merge "misc.py: remove few unnecessary checks" into devel
authorJian-feng Ding <jian-feng.ding@intel.com>
Mon, 5 Nov 2012 11:39:51 +0000 (03:39 -0800)
committerGerrit Code Review <gerrit2@otctools.jf.intel.com>
Mon, 5 Nov 2012 11:39:51 +0000 (03:39 -0800)

Trivial merge
Domain: SCM / Build;