Merge "Remove JSDuck 4 support"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 Apr 2014 18:40:50 +0000 (18:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 Apr 2014 18:40:50 +0000 (18:40 +0000)
commitaa5fd3d5ef3ff0cf2aa7084f1478d9f4e0d121b5
tree99b7adb739d25af0dcc112bded9e7a498e443651
parentf73a49ae9aec7c0cd3938615efc4378673b62216
parenta0b9cfb94c4a890b15bc1a6ecda575b3c8c8898c
Merge "Remove JSDuck 4 support"