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

Fix typo.

Browse source
This commit is contained in:
Wen Kokke 2020-07-20 16:14:09 +01:00
parent 820d57176f
commit da90fefe66
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.yml
View file

@ -39,7 +39,7 @@ install:
- travis_wait 60 make travis-install-agda
- make travis-install-agda-stdlib
- make travis-install-acknowledgements
- ruby -S bundle install
- ruby -S bundle install
script:
- agda --version