From: cyrille-artho <cyrille-artho@users.noreply.github.com>
Date: Tue, 29 May 2018 07:14:55 +0000 (+0900)
Subject: Merge pull request #65 from jeandersonbc/issue64
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=2c0edb0d396b699d187d929810015b904e91529d

Merge pull request #65 from jeandersonbc/issue64

Copying build.properties to output dir
---

2c0edb0d396b699d187d929810015b904e91529d