projects / tools / mic.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 13ce62f 4488a57)
Merge pull request #11 from saukko/master
authorJF Ding <jfding at gmail dot com>
Mon, 30 Jan 2012 08:16:09 +0000 (00:16 -0800)
committerJF Ding <jfding at gmail dot com>
Mon, 30 Jan 2012 08:16:09 +0000 (00:16 -0800)
MANIFEST file syntax fix.


Trivial merge
Domain: SCM / Build;