operations-guide/tools
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