1
0
Fork 0
Este repositório foi arquivado em 2021-01-01. Você pode visualizar arquivos e cloná-lo, mas não pode fazer push, abrir issues ou pull requests.
isabelle-ofmc/.gitignore