Commit 3072472d authored by Lars Schieffer's avatar Lars Schieffer
Browse files

fix typo in README

parent c98339e0
......@@ -3,16 +3,14 @@
[![License](https://img.shields.io/badge/license-GNU%20LGPL%20v3-brightgreen)](https://www.gnu.org/licenses/lgpl-3.0.en.html)
[![Python](https://img.shields.io/badge/python-3.8-important)](https://www.python.org/)
[![Coverage](https://img.shields.io/badge/coverage-90%25-green)](https://github.com/)
[![Style](https://img.shields.io/badge/code%20style-black-000000)](https://github.com/psf/black)
> The JANI front-end for the LTSmin toolset
> The JANI front-end module for the LTSmin toolset
## Table of Contents
- [Installation](#installation)
- [Usage](#usage)
- [Interaction Protocol](#protocol)
- [Connection to pseuCo](#pseuco)
- [Contact](#contact)
- [License](#license)
......
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