1 Star 0 Fork 10

SheehanDong/gitignore

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
克隆/下载
Idris.gitignore 43 Bytes
一键复制 编辑 原始数据 按行查看 历史
Kamil Shakirov 提交于 2021-03-15 14:32 . Update .gitignore for Idris 2
# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o
Loading...
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
1
https://gitee.com/sean-dong/gitignore.git
[email protected]:sean-dong/gitignore.git
sean-dong
gitignore
gitignore
main

搜索帮助