• 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
THANKS 902 Bytes