Eliminate the /tools directory in favour of a /utils directory.

Signed-off-by: John Admanski <[email protected]>
spcui · Jun 30, 2008 · 53d8577 · 53d8577
1 parent 1d2eab7
commit 53d8577
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 79 deletions.
diff --git a/tools/common.py b/tools/common.py
diff --git a/tools/run_pylint.py b/tools/run_pylint.py
diff --git a/tools/reindent.py → utils/reindent.py b/tools/reindent.py → utils/reindent.py