libgdx/libgdx — pull request #1733 by manuelbua (2014-04-19 18:26:19+00:00)
Title: Update fetch.xml

Add missing directories for the Box2D extension