bleh

bryangingechen · bryangingechen · commit 3e5a9d37b71d · 2025-01-04T22:18:07.000-05:00
diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md
@@ -1,3 +1,3 @@
 Please see [our contribution guide](https://leanprover-community.github.io/contribute/index.html) on our website.
 
-nothing3
+nothing4

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`Please see [our contribution guide](https://leanprover-community.github.io/contribute/index.html) on our website.`
`2`	`2`
`3`		`-nothing3`
	`3`	`+nothing4`