• Alexandre Duret-Lutz's avatar
    remprop: reset no-terminal property · 74786324
    Alexandre Duret-Lutz authored
    Reported by Yong Li.
    
    * spot/twaalgos/remprop.cc: Here.
    * tests/python/removeap.py: New test case.
    * tests/Makefile.am: Add it.
    * NEWS: Document the issue.
    * THANKS: Add Yong Li.
    74786324
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 216 KB