agda
diff --git a/‎.gitignore‎
Lines changed: 1 addition & 0 deletions b/‎.gitignore‎
Lines changed: 1 addition & 0 deletions
diff --git a/‎.travis.yml‎
Lines changed: 1 addition & 1 deletion b/‎.travis.yml‎
Lines changed: 1 addition & 1 deletion
@@ -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
 *~