Andreas Jaeger 9bff2eee16 Remove tools/validate.py ...

The tool is not used anymore since we use tox based gating.

Change-Id: I147cb04495fef8b2f1a5b2318b1a11b4a402dd42

2014-01-28 19:58:27 +01:00

..

generatedocbook

Update generatedocbook in tools dir

2014-01-16 11:11:57 +08:00

generatepot

Add slicing tool to the master branch

2013-03-12 15:23:36 +08:00