Git mirror of Erin Catto's Box2D Subversion repository; used by us for submoduling dependencies