15 lines
111 B
Plaintext
15 lines
111 B
Plaintext
build/
|
|
\#*
|
|
*~
|
|
*.swp
|
|
*.log
|
|
*.agda
|
|
*.agdai
|
|
/*.js
|
|
input.txt
|
|
node_modules
|
|
mkday.py
|
|
tmp
|
|
min.js.gz
|
|
src/Revision.newt
|