-
Alexandre Duret-Lutz authored
* src/bin/common_trans.cc: Skip leading directories, and do not require that the prefix is followed by space of 0. * src/tests/ltldo.test: Add a test. * doc/org/ltlcross.org: Update.
203d0769
* src/bin/common_trans.cc: Skip leading directories, and do not require that the prefix is followed by space of 0. * src/tests/ltldo.test: Add a test. * doc/org/ltlcross.org: Update.