summaryrefslogtreecommitdiff
path: root/contrib/Makefile.am
blob: 66d62f8b87220b7f6cfb7a06dc484dd6b6409060 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12

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