-
Alexandre Duret-Lutz authored
* src/saba/sabacomplementtgba.hh (spot): Rewrite Büchi as B\"uchi is the BibTex entry used as comment, because some version of sed will choke on non-ascii character and cause sanity/style.test to fail.
57d5eb3c
To find the state of this project's repository at the time of any of these versions, check out the tags.