-
Alexandre Duret-Lutz authored
* spot/misc/game.cc, spot/misc/game.hh: Move... * spot/twaalgos/game.cc, spot/twaalgos/game.hh: ... here. * bin/ltlsynt.cc, python/spot/impl.i, spot/misc/Makefile.am, spot/twaalgos/Makefile.am: Adjust.
05449a42
* spot/misc/game.cc, spot/misc/game.hh: Move... * spot/twaalgos/game.cc, spot/twaalgos/game.hh: ... here. * bin/ltlsynt.cc, python/spot/impl.i, spot/misc/Makefile.am, spot/twaalgos/Makefile.am: Adjust.