cek-call-cc/.gitignore

7 lines
48 B
Text
Raw Permalink Normal View History

2021-12-08 06:33:28 +00:00
*.agdai
*.blg
2021-12-07 18:32:30 +00:00
*.pdf
2021-12-08 06:33:28 +00:00
/gentex
/agda.sty
/main.log