michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Removed agda2html from cache

Browse source
This commit is contained in:
Wen Kokke 2019-07-12 18:19:00 +01:00
parent e28f84b7a0
commit 0b30c01a44
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.travis.yml
View file

@ -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