rename build directory into buildtool to avoid name clashes

[simgrid.git] / build / builder6 / lib / empty

diff --git a/build/builder6/lib/empty b/build/builder6/lib/empty
deleted file mode 100644 (file)
index e69de29..0000000