Snippets Groups Projects

Commit e46427d5 authored 5 years ago by Robbert Krebbers

Ignore more.

parent 42e0d03d

No related branches found

No related tags found

No related merge requests found

Pipeline #26136 passed 5 years ago

Hide whitespace changes

Inline Side-by-side

Showing with 2 additions and 0 deletions

+ 2

− 0

View file @ e46427d5

	*.vo		*.vo
	*.vio		*.vio
			*.vos
			*.vok
	*.v.d		*.v.d
	.coqdeps.d		.coqdeps.d
	*.glob		*.glob
...		...

Please register or to comment