maxjhandsome
/
forgeplus1
forked from Gitlink/forgeplus
0
0
Fork 0
Code Issues Pull Requests Releases 2 Wiki Activity
forgeplus1/public/options/gitignore/Agda

2 lines
8 B
Plaintext
Raw Blame History

*.agdai
Reference in New Issue View Git Blame Copy Permalink