From: Willem Visser <willem@gmail.com>
Date: Tue, 17 Apr 2018 12:21:35 +0000 (+0200)
Subject: Merge pull request #6 from gayanW/travis
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=002366c34b9b6b7d773796e9dd81a552fa2d0c5c

Merge pull request #6 from gayanW/travis

Create .travis.yml
---

002366c34b9b6b7d773796e9dd81a552fa2d0c5c