projects / tools / mic.git / history
| 2018-01-29 | Chunhua Liu | Merge "Another method of install tpk." into devel | tree | commitdiff |
| 2018-01-26 | Dohyung Kim | add --use-mic-in-bootstrap option 78/134478/4 | tree | commitdiff |
| 2016-07-27 | SoonKyu Park | Merge branch 'master' into devel | tree | commitdiff |
| 2016-04-11 | SoonKyu Park | Handle conflicts from git merge release-20160315 | tree | commitdiff |
| 2016-02-04 | Lihong Sun | Drop mic native support | tree | commitdiff |
| 2015-03-26 | Lihong Sun | Drop mic native support 45/37345/5 | tree | commitdiff |
| 2014-04-11 | Sun Lihong | Add lzop compress format | tree | commitdiff |
| 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 |