projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 838465b) | patch
Delete travis support from dev
authorWillem Visser <willem@gmail.com>
Tue, 17 Apr 2018 12:23:18 +0000 (14:23 +0200)
committerGitHub <noreply@github.com>
Tue, 17 Apr 2018 12:23:18 +0000 (14:23 +0200)
commit9abf53c60f58cf0d8bcdbf387140e70693802df3
tree817ce610fbca5ec0edbbe10111ae7c517c32502ftree | snapshot
parent838465b7f0681a04e93dded0b1b0874e50db13e3commit | diff
Delete travis support from dev

It was already added to master, no need for this duplication
.travis.yml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.