summaryrefslogtreecommitdiff
path: root/contrib/Makefile.am
blob: 1dd5c8ded7d318b9ff89840a4c65a45731a159c1 (plain) 
1
2
3
4
5
6
7
8
9

EXTRA_DIST = \
	README \
	cvc-devel.el \
	dimacs_to_smt.pl \
	switch-config \
	cvc-mode.el \
	editing-with-emacs \
	configure-in-place \
	depgraph
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback