git://git.jankratochvil.net / nethome.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 9654d93)
+gerrit support
authorjkratoch <>
Sun, 8 Aug 2010 22:41:32 +0000 (22:41 +0000)
committerjkratoch <>
Sun, 8 Aug 2010 22:41:32 +0000 (22:41 +0000)
do not stop on fully merged stages


No differences found
Unnamed repository; edit this file 'description' to name the repository.