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