From: Augustin Degomme <26892-adegomme@users.noreply.framagit.org>
Date: Tue, 17 Jan 2023 13:55:22 +0000 (+0000)
Subject: Merge branch 'master' into 'master'
X-Git-Tag: v3.34~616
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ee895f75bcbf3a77f99c5bea9787ed5e4ab228f2?hp=6db71d12c7ea2f08e07c692bc67dde6748d5223f

Merge branch 'master' into 'master'

fix doc typo

See merge request simgrid/simgrid!124
---

diff --git a/docs/source/Developers_Documentation.rst b/docs/source/Developers_Documentation.rst
index 8b62e3e9ba..8aac1ef332 100644
--- a/docs/source/Developers_Documentation.rst
+++ b/docs/source/Developers_Documentation.rst
@@ -140,7 +140,7 @@ In C:
 Unsorted hints
 --------------
 
-* To test thoroughly test your changes before pushing your commits, use several cmake configurations under sub-trees of ``build/`` (that is ignored by git) as
+* To thoroughly test your changes before pushing your commits, use several cmake configurations under sub-trees of ``build/`` (that is ignored by git) as
   explained in :ref:`install_cmake_outsrc`. For example, I have the following directories: build/clang build/full build/mc (but YMMV).
 
 * If you break the logs, you want to define XBT_LOG_MAYDAY at the beginning of log.h. It deactivates the whole logging mechanism, switching to printfs instead.