Skip to content
  • Alexandre Duret-Lutz's avatar
    move game.cc from misc/ to twaalgos/ · 05449a42
    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