icttechno
/
technology
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity
technology/.gitignore

12 lines
95 B
Plaintext
Raw Blame History

# ---> Ada
# Object file
*.o
# Ada Library Information
*.ali
# ---> Agda
*.agdai
MAlonzo/**
Reference in New Issue View Git Blame Copy Permalink