projects
/
libfirm
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
dfe697d
ac38481
)
Merge branch 'opt_manage'
author
Andreas Zwinkau
<zwinkau@kit.edu>
Wed, 14 Sep 2011 11:40:07 +0000
(13:40 +0200)
committer
Andreas Zwinkau
<zwinkau@kit.edu>
Wed, 14 Sep 2011 11:40:18 +0000
(13:40 +0200)
This is a merge, because it should be considered as a single commit
and libFirm might be broken between the various commits of the branch.
However, there are so many changes, that i do not want to squash
them all into one mega-commit.
Trivial merge