spot/twa/twa.hh · 86560f6bd7f79b75650c9830b3322857bd0d50cc · Spot / Spot · GitLab

May 12, 2017
86560f6b
typos · 86560f6b
Alexandre GBAGUIDI AISSE authored May 12, 2017 and Alexandre Duret-Lutz committed Sep 29, 2017
```
* spot/twaalgos/alternation.hh: Typos.
* spot/twa/twa.hh: Typos.
```
86560f6b
typos
Alexandre GBAGUIDI AISSE authored May 12, 2017 and Alexandre Duret-Lutz committed Sep 29, 2017
```
* spot/twaalgos/alternation.hh: Typos.
* spot/twa/twa.hh: Typos.
```