This repository was archived by the owner on Jul 24, 2019. It is now read-only.

Commit bf8d0bb

committed

OPAM folder ignored

1 parent 61331b4 commit bf8d0bbCopy full SHA for bf8d0bb

1 file changed

+1

-0

lines changed

.gitignore

1 file changed

+1

-0

lines changed

`‎.gitignore`

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+opam*`
`1`	`2`	`Makefile`
`2`	`3`	`*.vo`
`3`	`4`	`*.glob`

Comments

(0)