2013-12-13 | JF Ding | clean up and refine all the docs in git | tree | commitdiff |
2013-09-25 | Sun Lihong | Add mic zsh tab completion support | tree | commitdiff |
2013-09-09 | Xiaoning Zhu | Add mic bash tab completion support | tree | commitdiff |
2012-12-20 | Gui Chen | update documentation | tree | commitdiff |
2012-12-19 | Gui Chen | Merge branch 'release-0.15' into devel | tree | commitdiff |
2012-09-26 | Gui Chen | relocate dist files and add change log | tree | commitdiff |