-
Alexandre Duret-Lutz authored
based on code from <Denis.Poitrenaud@lip6.fr>. * src/ltlvisit/Makefile.am (libltlvisit_la_SOURCES, ltlvisit_HEADERS): Add them.
79ef47db
based on code from <Denis.Poitrenaud@lip6.fr>. * src/ltlvisit/Makefile.am (libltlvisit_la_SOURCES, ltlvisit_HEADERS): Add them.