agda
diff --git a/‎.gitignore
+1 b/‎.gitignore
+1
diff --git a/‎.travis.yml
+1-1 b/‎.travis.yml
+1-1
@@ -5,6 +5,7 @@
 *.hi
 *.lagda.el
 *.o
+*.svg
 *.tix
 *.vim
 *~
 
@@ -48,7 +48,7 @@ matrix:
              cd ../ &&
              git clone https://github.com/agda/agda &&
              cd agda &&
-             git checkout tags/v2.6.1.1 &&
+             git checkout tags/v2.6.1.3 &&
              cabal install --only-dependencies --dry -v > $HOME/installplan.txt ;
           fi
-Original file line number
+Diff line change
 *.hi
 *.lagda.el
 *.o
 +*.svg
 *.tix
 *.vim
 *~