Merge pull request #19 from hjmjohnson/ImproveTravisNaming
authorjulielangou <julie@cs.utk.edu>
Fri, 29 Jul 2016 04:32:05 +0000 (21:32 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Jul 2016 04:32:05 +0000 (21:32 -0700)
Improve travis naming


Trivial merge