Commit 1b76d53

committed

Merge pull request #738 from Blaisorblade/patch-1

Create Agda.gitignore

2 parents 3012b56 + c56761e commit 1b76d53Copy full SHA for 1b76d53

1 file changed

+1

-0

lines changed

Agda.gitignore

1 file changed

+1

-0

lines changed

`‎Agda.gitignore‎`

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+*.agdai`

Comments

(0)