aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
diff options
context:
space:
mode:
authorMatthieu Sozeau2018-05-15 16:54:36 +0200
committerGitHub2018-05-15 16:54:36 +0200
commit2ba954ae93bad18de93e689f29d482250c966f3e (patch)
treed1ef611073893a4764e7017d6faf787b0d33f231 /dev/ci
parent83a3806ce85a012366709931a158bea85bf39d5b (diff)
Update MERGING.md
Simpler
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions