Revert "Add freetennis."
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 10:32:51 +0000 (11:32 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 10:32:51 +0000 (11:32 +0100)
Depends on lablgl which depends on camlp4.

This reverts commit 983dbd253d34129382737dd283dd2910f7933c06.


No differences found