-
Etienne Renault authored
* Makefile.am: Fix subdirs. * configure.ac: Fix options * libpn/Makefile.am: Remove subdir * libpn/pnparse.yy: Fix variables. * src/modelcheck.cpp: Remove obsolete code.
3b1faf5e
* Makefile.am: Fix subdirs. * configure.ac: Fix options * libpn/Makefile.am: Remove subdir * libpn/pnparse.yy: Fix variables. * src/modelcheck.cpp: Remove obsolete code.