7 lines
71 B
Plaintext
7 lines
71 B
Plaintext
.jekyll-cache
|
|
.agda-html
|
|
_site
|
|
*.agdai
|
|
.jekyll-metadata
|
|
.*.~undo-tree~
|