From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Mon, 18 Jun 2018 17:43:12 +0000 (-0300)
Subject: Removed Ant script (#87)
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=58e7b33a568a28d617578c1887023ec28a10c64f;hp=58e7b33a568a28d617578c1887023ec28a10c64f

Removed Ant script (#87)
---