Merge pull request #220 from ZeusWPI/travis-speedup

[WIP] Travis speedup
This commit is contained in:
lorin 2018-03-03 15:06:37 +01:00 committed by GitHub
commit 2ab449723c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,7 +12,8 @@ addons:
apt: apt:
packages: packages:
- pandoc - pandoc
- texlive-full - texlive
- lmodern
branches: branches:
only: only: