author | Peter Kovacs <kpeter@inf.elte.hu> |
Thu, 28 Feb 2013 17:13:14 +0100 | |
changeset 1037 | d3dcc49e6403 |
permissions | -rw-r--r-- |
ladanyi@793 | 1 |
EXTRA_DIST += \ |
ladanyi@793 | 2 |
scripts/bib2dox.py \ |
ladanyi@793 | 3 |
scripts/bootstrap.sh \ |
ladanyi@793 | 4 |
scripts/chg-len.py \ |
ladanyi@793 | 5 |
scripts/mk-release.sh \ |
ladanyi@793 | 6 |
scripts/unify-sources.sh \ |
ladanyi@793 | 7 |
scripts/valgrind-wrapper.sh |