OSDN Git Service
(root)
/
wvm
/
gitlab.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
fb470e8
29623d7
)
Merge pull request #2485 from gliptak/patch-2
author
Riyad Preukschas
<riyad@informatik.uni-bremen.de>
Mon, 7 Jan 2013 17:41:27 +0000
(09:41 -0800)
committer
Riyad Preukschas
<riyad@informatik.uni-bremen.de>
Mon, 7 Jan 2013 17:41:27 +0000
(09:41 -0800)
Renaming check function from 1056 to 1059
Trivial merge