src/bin/ltlfilt.cc · 267183bda76d31d294562172b8ce619b667241cf · Spot / Spot · GitLab

Sep 03, 2012
267183bd
ltlfilt: update the exit status in the same way as grep · 267183bd
Alexandre Duret-Lutz authored Sep 03, 2012
```
* src/bin/ltlfilt.cc: Do it.
```
267183bd
ltlfilt: update the exit status in the same way as grep
Alexandre Duret-Lutz authored Sep 03, 2012
```
* src/bin/ltlfilt.cc: Do it.
```