From: cyrille-artho <cyrille-artho@users.noreply.github.com>
Date: Thu, 26 Apr 2018 09:12:32 +0000 (+0900)
Subject: Merge pull request #4 from gayanW/3
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=fb15fd528aa2ace1536fe16f12b5d973b2c4f049;p=jpf-core.git

Merge pull request #4 from gayanW/3

Improve .gitignore file
---

fb15fd528aa2ace1536fe16f12b5d973b2c4f049