gitignore/Coq.gitignore at 908bb556d14d5f7218daf4df702c5642a00c8754 - gitignore - gitlab.pm - a private repo

Files

T

Ivan Zuzak f0dde55c6b ensure single trailing newline

2013-10-06 14:40:01 +02:00

4 lines

18 B

Plaintext

Raw Blame History

	`*.vo`
	`*.glob`
	`*.v.d`