repo.or.cz
/
ninja.git
/
commitdiff
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
raw
|
combined
(merge:
5cfc038
69bcd9d
)
Merge branch 'maint/7.0'
master
author
Robin Sonefors
<
[email protected]
>
Wed, 9 Jul 2014 12:00:13 +0000
(9 14:00 +0200)
committer
Robin Sonefors
<
[email protected]
>
Wed, 9 Jul 2014 12:00:13 +0000
(9 14:00 +0200)
Trivial merge