aboutsummaryrefslogtreecommitdiffstats
path: root/git-tools/merge.php
Commit message (Expand)AuthorAgeFilesLines
* [ticket/9916] Changing header in non-distributed filesUnknown2012-01-021-1/+1
* [ticket/9806] Script for merging pull requestsIgor Wiedler2011-03-131-0/+175