Skip to content
Permalink
Browse files

reorg: Revmoved travis.sh

  • Loading branch information...
MikeMitterer committed Aug 28, 2018
1 parent 01c1652 commit ea045883b9771fd02b6b2b2896c0ca97ffe22b51
Showing with 0 additions and 42 deletions.
  1. +0 −42 tool/travis.sh

This file was deleted.

Oops, something went wrong.

0 comments on commit ea04588

Please sign in to comment.
You can’t perform that action at this time.