Commit 7dc21dab authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

typos

parent 78dc6c47
Pipeline #4655 passed with stage
in 19 minutes and 14 seconds
......@@ -28,11 +28,11 @@ may have more features than the last release. Check the top of the
NEWS file for user-visible changes that may not be part of the last
release.
For convenience the following third-party tools have also been
For convenience, the following third-party tools have also been
installed (see /usr/local/share/doc/ for license details):
- ltl2ba 1.2 (GPL 2)
- ltl3ba 1.1.3 (GPL 2)
- ltl2dra 0.2.8 (GPL 2)
- ltl3dra 0.2.8 (GPL 2)
- ltl3tela 1.1.2 (GPL 3)
- ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment