Zetok Zalbavar 983c4ff688 chore: remove not needed binary blobs and script from tools/ ... Other things in `tools/` are, or might be still needed. Closes #3103.		2016-04-05 23:07:30 +01:00
..
update-server	Update genflist tool	2015-12-10 00:55:39 +01:00
buildPackages.sh	Fixed bash shebangs to use /usr/bin/env for better compatibility	2015-03-25 22:16:22 -07:00