From eaa86e63c407d48152aeeaca0c24c6d0b208447d Mon Sep 17 00:00:00 2001
From: Philipp Rosenkranz <ph.rosenkranz@gmail.com>
Date: Thu, 19 Mar 2015 15:40:55 +0100
Subject: [PATCH] [SQUASHME] moved desvirt to dist/tools

---
 {pkg => dist/tools}/desvirt/.gitignore                      | 0
 {pkg => dist/tools}/desvirt/0001-add-example-topology.patch | 0
 {pkg => dist/tools}/desvirt/Makefile                        | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename {pkg => dist/tools}/desvirt/.gitignore (100%)
 rename {pkg => dist/tools}/desvirt/0001-add-example-topology.patch (100%)
 rename {pkg => dist/tools}/desvirt/Makefile (100%)

diff --git a/pkg/desvirt/.gitignore b/dist/tools/desvirt/.gitignore
similarity index 100%
rename from pkg/desvirt/.gitignore
rename to dist/tools/desvirt/.gitignore
diff --git a/pkg/desvirt/0001-add-example-topology.patch b/dist/tools/desvirt/0001-add-example-topology.patch
similarity index 100%
rename from pkg/desvirt/0001-add-example-topology.patch
rename to dist/tools/desvirt/0001-add-example-topology.patch
diff --git a/pkg/desvirt/Makefile b/dist/tools/desvirt/Makefile
similarity index 100%
rename from pkg/desvirt/Makefile
rename to dist/tools/desvirt/Makefile