gitignore/Coq.gitignore at 4db34a4cb9d2d88f28adede8a42b8c20610b0c7a - gitignore - Gitea: Git with a cup of tea

tworu/gitignore

0 Fork 0

mirror of https://github.com/github/gitignore.git synced 2026-10-25 12:12:23 +01:00

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`