1 2 3 4 5 6 7 8 9 10
EXTRA_DIST = \ README \ cvc-devel.el \ dimacs_to_smt.pl \ switch-config \ cvc-mode.el \ editing-with-emacs \ luby.c \ configure-in-place \ depgraph