author | Peter Kovacs <kpeter@inf.elte.hu> |
Mon, 16 Jul 2018 16:21:40 +0200 | |
changeset 1183 | cd72eae05bdf |
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 |