From: cyrille-artho <cyrille-artho@users.noreply.github.com>
Date: Thu, 7 Jun 2018 07:07:50 +0000 (+0900)
Subject: Merge pull request #79 from jeandersonbc/issue78
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=267a253ff9f13c8e41071e70f2fc5a542a63ce09;p=jpf-core.git

Merge pull request #79 from jeandersonbc/issue78

Created buildinfo task (#78)
---

267a253ff9f13c8e41071e70f2fc5a542a63ce09