Gitinn Home Explore Help
Register Sign In
u16841
/
jimli002
1
1
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
jimli002
/
.gitignore

.gitignore 21 B
Permalink History Raw

123 
  1. # ---> Agda
    2. 

  2. *.agdai
    3. 

  3.