]> granicus.if.org Git - ejabberd/commitdiff
Merge pull request #208 from weiss/update-travis-config
authorbadlop <badlop@ono.com>
Wed, 21 May 2014 15:31:49 +0000 (17:31 +0200)
committerbadlop <badlop@ono.com>
Wed, 21 May 2014 15:31:49 +0000 (17:31 +0200)
Travis CI: Remove unnecessary configure flag


Trivial merge