fontforge is no longer needed

This commit is contained in:
Steven G. Johnson 2019-04-09 15:09:57 -04:00 committed by GitHub
parent 454f60150c
commit e1b05f7be3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,8 +6,6 @@ notifications:
include: include:
- language: julia - language: julia
julia: 1.1 julia: 1.1
before_install:
- sudo apt-get install fontforge -y
script: script:
- make manifest && diff MANIFEST.new MANIFEST - make manifest && diff MANIFEST.new MANIFEST
- make check - make check