From 0b30c01a4418aab4b2faa10607945b701fdad18a Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Fri, 12 Jul 2019 18:19:00 +0100
Subject: [PATCH] Removed agda2html from cache

---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index acd1bd2c..8ed85b2b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,7 +14,6 @@ cache:
   - $HOME/.local
   - $HOME/agda-$AGDA_VERSION
   - $HOME/agda-stdlib-$AGDA_STDLIB_VERSION
-  - $HOME/agda2html-master
   - $HOME/acknowledgements-master
 
 # Ensure necessary system libraries are present