Merge pull request #738 from Blaisorblade/patch-1
1b76d53beb8d
Actions

Authored by Justin Spahr-Summers <jspahrsummers@github.com> on Nov 13 2013, 05:45.

Description

Merge pull request #738 from Blaisorblade/patch-1

Create Agda.gitignore

Committed

Justin Spahr-Summers <jspahrsummers@github.com>

Nov 13 2013, 05:45

Pushed

aubort

Jul 2 2018, 16:12

Parents

Branches

Unknown

Tags

Unknown

Justin Spahr-Summers <jspahrsummers@github.com> committed rGITIGNORE1b76d53beb8d: Merge pull request #738 from Blaisorblade/patch-1 (authored by Justin Spahr-Summers <jspahrsummers@github.com>).Nov 13 2013, 05:45

	Commit			Author	Details	Committed
	c56761e8330f			Paolo G. Giarrusso	Create Agda.gitignore	Aug 15 2013

				Path
	A			Agda.gitignore