-
Alexandre Duret-Lutz authored
* src/ltltest/reduccmp.test: Reorder the test added by the previous patches. Some are not supposed to be reduced by reductaustr.
ce51ed30
To find the state of this project's repository at the time of any of these versions, check out the tags.