Index of /tools

File		Rev.	Age	Author	Last log entry
Parent Directory
dpmt/		338	6 years	arnau-guest	Add usertag in the bug listing. Fix some minor bugs.
add-vcs-fields		18486	8 months	jwilk	add-vcs-fields: minor whitespace fix.
find_python_dependencies.py		11458	2 years	dktrkranz	Find all files with Python shebang in a given directory
find_python_dependencies.sh		4666	4 years	piotr	use "python-pkg-resources" package for "pkg_resources" module (see python-setupt…