From 19b04c7bc8053d19584b063d2c00b2a75fa817b7 Mon Sep 17 00:00:00 2001 From: Thibaut Cuvelier Date: Thu, 22 Dec 2022 04:18:33 +0100 Subject: [PATCH] Fix a typo in layouts. --- lib/layouts/theorems-starred.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc index acee2bcbba..704e88a1c8 100644 --- a/lib/layouts/theorems-starred.inc +++ b/lib/layouts/theorems-starred.inc @@ -4,7 +4,7 @@ # Tinkered with Sep. '07 by Paul Rubin # Modularized Jan 08 by Richard Kimberly Heck -# The starred environnements defined are : +# The starred environments defined are : # - Theorem # - Corollary # - Lemma -- 2.39.5