From: Willem Visser <willem@gmail.com>
Date: Wed, 18 Apr 2018 13:07:55 +0000 (+0200)
Subject: Merge pull request #15 from gayanW/patch-1
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=b103588a429cdfc9fb79de398eb4e8bd878c2c91;p=jpf-core.git

Merge pull request #15 from gayanW/patch-1

Embed Travis status image to README.md
---

b103588a429cdfc9fb79de398eb4e8bd878c2c91