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

Added local link files to .gitignore

Browse source
This commit is contained in:
Wen Kokke 2019-07-14 13:00:36 +01:00
parent d1ab8547f2
commit b6f3363aa1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -1,6 +1,7 @@
## Agda files ## Agda files
*.agdai *.agdai
.agda-stdlib.sed .agda-stdlib.sed
.links-*.sed
## Jekyll files ## Jekyll files
_site/ _site/