[SQUASHME] moved desvirt to dist/tools

RIOT-OS · Apr 28, 2015 · eaa86e6 · eaa86e6
1 parent 4a06af6
commit eaa86e6
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/pkg/desvirt/.gitignore → dist/tools/desvirt/.gitignore b/pkg/desvirt/.gitignore → dist/tools/desvirt/.gitignore
diff --git a/pkg/desvirt/0001-add-example-topology.patch → ...s/desvirt/0001-add-example-topology.patch b/pkg/desvirt/0001-add-example-topology.patch → ...s/desvirt/0001-add-example-topology.patch
diff --git a/pkg/desvirt/Makefile → dist/tools/desvirt/Makefile b/pkg/desvirt/Makefile → dist/tools/desvirt/Makefile