Backport PR #15851: ffmpeg is available on default ubuntu packages now.

jklymak · timhoffm · commit e509cb347112 · 2019-12-07T18:07:48.000+01:00
diff --git a/.travis.yml b/.travis.yml
@@ -22,8 +22,6 @@ addons:
     paths:
     - result_images.tar.bz2
   apt:
-    sources:
-      - sourceline: ppa:jonathonf/ffmpeg-3
     packages:
       - cm-super
       - dvipng
