"these" is repeated, remove one (#174)

Signed-off-by: Duan Wenrui <[email protected]>
seL4 · Feb 7, 2023 · 9847c4a · 9847c4a
1 parent dc9a925
commit 9847c4a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Tutorials/index.md b/Tutorials/index.md
@@ -23,7 +23,7 @@ different paths to follow through the tutorial material.  Choose the
 most relevant category below and follow the tutorials in the suggested
 order.
 
-Note that all of these these tutorials require C programming
+Note that all of these tutorials require C programming
 experience and some understanding of operating systems and computer
 architecture.  Suggested resources for these include: