From: Quoc-Sang Phan <dark2bright@gmail.com>
Date: Thu, 8 Mar 2018 23:59:03 +0000 (-0800)
Subject: Merge pull request #5 from jeandersonbc/readme-update
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=9a10635b06c187afbfc46b62f84f3e12860b5acb;p=jpf-core.git

Merge pull request #5 from jeandersonbc/readme-update

Updated README.md file
---

9a10635b06c187afbfc46b62f84f3e12860b5acb