doc(category_theory/limits/shapes/pullbacks): fix doc (#11225)

the link doesn't work with the full stop
leanprover-community · Jan 4, 2022 · b99a98e · b99a98e
1 parent a30375e
commit b99a98e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/category_theory/limits/shapes/pullbacks.lean b/src/category_theory/limits/shapes/pullbacks.lean
@@ -1952,7 +1952,7 @@ variables (C)
 /--
 `has_pullbacks` represents a choice of pullback for every pair of morphisms
 
-See https://stacks.math.columbia.edu/tag/001W.
+See https://stacks.math.columbia.edu/tag/001W
 -/
 abbreviation has_pullbacks := has_limits_of_shape walking_cospan.{v} C