projects
/
tools
/
mic.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
archive.py: auto detect format in decompression and refine get_xxx_formats/get_xxx_su...
[tools/mic.git]
/
doc
/
2014-03-11
Gui Chen
bump up to 0.24-rc1
tree
|
commitdiff
2013-12-13
Gui Chen
bump up to version 0.23-0.rc1
tree
|
commitdiff
2013-12-13
JF Ding
clean up and refine all the docs in git
tree
|
commitdiff
2013-12-13
Gui Chen
update known issues
tree
|
commitdiff
2013-11-04
Gui Chen
update faq
tree
|
commitdiff
2013-10-21
Gui Chen
bump up version to 0.22-0.rc1
tree
|
commitdiff
2013-08-28
Gui Chen
update changelog and release notes
tree
|
commitdiff
2013-08-22
Gui Chen
bump up to version 0.21-0.rc1
tree
|
commitdiff
2013-07-08
Gui Chen
update release notes
release-0.20
tree
|
commitdiff
2013-05-20
Gui Chen
Merge branch 'release-0.19' into devel
tree
|
commitdiff
2013-05-16
Gui Chen
update release date
tree
|
commitdiff
2013-04-02
Gui Chen
bump up to release 0.18
0.18
tree
|
commitdiff
2013-03-04
Gui Chen
Merge branch 'release-0.17' into devel
tree
|
commitdiff
2013-02-27
Gui Chen
update changelog files
tree
|
commitdiff
2013-02-21
Gui Chen
rewrite REALSE_NOTES to include more info about mic
tree
|
commitdiff
2013-01-29
Gui Chen
update RELEASE_NOTES
tree
|
commitdiff
2013-01-27
Gui Chen
update REALSE_NOTES
tree
|
commitdiff
2013-01-22
Gui Chen
update release notes
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-12-12
Gui Chen
bump up to release 0.15
0.15
tree
|
commitdiff
2012-12-12
Gui Chen
update doc/RELEASE_NOTES
tree
|
commitdiff
2012-12-12
Gui Chen
add RELEASE_NOTES
tree
|
commitdiff