[SQUASHME] moved desvirt to dist/tools

RIOT-OS · Mar 19, 2015 · 5457479 · 5457479
1 parent 14db3e7
commit 5457479
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