Skip to content

Commit 0763a3b

Browse files
committed
doc(README): linter -> linters (leanprover-community#33533)
so that it is consistent with the rest of the file
1 parent 656cef1 commit 0763a3b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -153,7 +153,7 @@ For a list containing more detailed information, see https://leanprover-communit
153153
* Oliver Nash (@ocfnash): algebra, geometry, topology
154154
* Joël Riou (@joelriou): category theory, homology, algebraic geometry
155155
* Michael Rothgang (@grunweg): differential geometry, analysis, topology, linters
156-
* Damiano Testa (@adomani): algebra, algebraic geometry, number theory, tactics, linter
156+
* Damiano Testa (@adomani): algebra, algebraic geometry, number theory, tactics, linters
157157
* Adam Topaz (@adamtopaz): algebra, category theory, algebraic geometry
158158
* Eric Wieser (@eric-wieser): algebra, infrastructure
159159

0 commit comments

Comments
 (0)