scripts/Makefile.am
author Peter Kovacs <kpeter@inf.elte.hu>
Tue, 15 Mar 2011 19:54:11 +0100
changeset 938 a07b6b27fe69
permissions -rw-r--r--
Change the default scaling factor in CostScaling (#417)
     1 EXTRA_DIST += \
     2 	scripts/bib2dox.py \
     3 	scripts/bootstrap.sh \
     4 	scripts/chg-len.py \
     5 	scripts/mk-release.sh \
     6 	scripts/unify-sources.sh \
     7 	scripts/valgrind-wrapper.sh