8 lines
56 B
Plaintext
8 lines
56 B
Plaintext
|
# ---> Agda
|
||
|
|
*.agdai
|
||
|
|
MAlonzo/**
|
||
|
|
|
||
|
|
# ---> Ansible
|
||
|
|
*.retry
|
||
|
|
|