wmde/Wikibase — pull request #2 by JeroenDeDauw (2013-12-19 18:30:42+00:00)
Title: Improve TravisCI build config

Change-Id: I4842d9bfef75df872d0181d657841bd429ec4359