Merge branch 'master' of https://github.com/endlos99/xdt99

endlos99 · Oct 18, 2023 · 6c14d55 · 6c14d55
2 parents 6a13e70 + 8161634
commit 6c14d55
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/MANUAL.md b/doc/MANUAL.md
@@ -67,7 +67,7 @@ this manual.
 Tutorial                                                 <a name="tutorial"></a>
 --------
 
-The xdt99 tools are command line tolls that lack a graphical user interface.
+The xdt99 tools are command line tools that lack a graphical user interface.
 While this choice will somewhat steepen the learning curve for some users, the
 command line is ultimately very suited for repetitive tasks, as encountered 
 while developing programs.