• Alexandre Duret-Lutz's avatar
    remprop: reset no-terminal property · 7d6bfe54
    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.
    7d6bfe54
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 212 KB