HomePhabricator

Merge "ve.ui.Tool: Correct documentation"

Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>.

Description

Merge "ve.ui.Tool: Correct documentation"

Details

Committed
Gerrit Code ReviewApr 14 2015, 1:03 AM
Parents
rGVED310a04053c28: ve.ui.Tool: Correct documentation
rGVED67ac409de294: Improve demo read mode
Branches
Unknown
Tags
Unknown
ChangeId
None

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rGVEDe13bd63f0315: Merge "ve.ui.Tool: Correct documentation" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Apr 14 2015, 1:03 AM

Merged Changes

CommitAuthorDetailsCommitted
310a04053c28matmarex
ve.ui.Tool: Correct documentation 
Apr 12 2015