GitCode / Gitignore
1 年多前同步成功

代码
- 文件
- 提交
- 分支
- Tags
- 贡献者
- 分支图
- Diff
Issue 0
- 列表
- 看板
- 标记
- 里程碑
合并请求 0
DevOps
Wiki 0
- Wiki
分析
- 仓库
- DevOps
项目成员
Pages

查找文件普通视图历史永久链接 Permalink

Coq.gitignore 269 字节

Newer Older

J Update Coq.gitignore Jason Gross 已提交 10月 11, 2016	1	`.*.aux`
J Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223) Jason Gross 已提交 11月 08, 2019	2	`.*.d`
J Update Coq.gitignore Jason Gross 已提交 10月 11, 2016	3 4 5 6 7 8 9	`.a .cma .cmi .cmo .cmx .cmxa *.cmxs`
D add Coq gitignore Dan 已提交 11月 22, 2010	10	`*.glob`
J Update Coq.gitignore Jason Gross 已提交 10月 11, 2016	11 12 13	`.ml.d .ml4.d *.mli.d`
J Add mllib, mlpack files Jason Gross 已提交 10月 11, 2016	14 15	`.mllib.d .mlpack.d`
J Add .native Jason Gross 已提交 10月 11, 2016	16	`*.native`
J Update Coq.gitignore Jason Gross 已提交 10月 11, 2016	17	`*.o`
D add Coq gitignore Dan 已提交 11月 22, 2010	18	`*.v.d`
J Update Coq.gitignore Jason Gross 已提交 10月 11, 2016	19 20	`.vio .vo`
J Update Coq.gitignore after coq/coq#11075 (#3247) Jason Gross 已提交 11月 25, 2019	21	`*.vok`
J Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223) Jason Gross 已提交 11月 08, 2019	22	`*.vos`
J Update Coq.gitignore Jason Gross 已提交 10月 11, 2016	23 24 25 26 27 28 29 30 31 32 33	`.coq-native/ .csdp.cache .lia.cache .nia.cache .nlia.cache .nra.cache csdp.cache lia.cache nia.cache nlia.cache nra.cache`