| author | Peter Kovacs <kpeter@inf.elte.hu> |
| Mon, 16 Jul 2018 16:21:40 +0200 | |
| changeset 1401 | cd72eae05bdf |
| permissions | -rw-r--r-- |
| ladanyi@840 | 1 |
EXTRA_DIST += \ |
| ladanyi@840 | 2 |
scripts/bib2dox.py \ |
| ladanyi@840 | 3 |
scripts/bootstrap.sh \ |
| ladanyi@840 | 4 |
scripts/chg-len.py \ |
| ladanyi@840 | 5 |
scripts/mk-release.sh \ |
| ladanyi@840 | 6 |
scripts/unify-sources.sh \ |
| ladanyi@840 | 7 |
scripts/valgrind-wrapper.sh |