removed unused git options

This commit is contained in:
Phred 2020-07-22 04:15:09 -05:00
parent bcb6cd6a35
commit 5587791c32
No known key found for this signature in database
GPG key ID: 8103F27168DAA2A0

View file

@ -1,4 +1,7 @@
# faster builds
git:
depth: false
submodules: false
sudo: false
dist: trusty
language: java