From: Richard W.M. Jones Date: Thu, 1 Aug 2019 10:32:51 +0000 (+0100) Subject: Revert "Add freetennis." X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=5e8c2cd06d80d7e388885f2d895cf4501dc7f9ae;hp=5e8c2cd06d80d7e388885f2d895cf4501dc7f9ae;p=goaljobs-goals.git Revert "Add freetennis." Depends on lablgl which depends on camlp4. This reverts commit 983dbd253d34129382737dd283dd2910f7933c06. ---