Remove GNU indent tools

ibriano · Mar 8, 2014 · cbdd7f2 · cbdd7f2
1 parent 24c503c
commit cbdd7f2
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 34 deletions.
diff --git a/tools/code-style/check-contiki-style b/tools/code-style/check-contiki-style
diff --git a/tools/code-style/contiki-indent b/tools/code-style/contiki-indent
diff --git a/tools/code-style/indent.pro b/tools/code-style/indent.pro