school
/
csci8980-s22
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
csci8980-s22/.gitignore

7 lines
48 B
Plaintext
Raw Permalink Blame History

*.agdai
*.blg
*.pdf
/gentex
/agda.sty
/main.log
Reference in New Issue View Git Blame Copy Permalink