From 6fada977dba18c5377c690ae5eef8c67b4b6f6d8 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Fri, 6 Jul 2012 01:46:49 +0200 Subject: [PATCH] move Makefile in planetlab/exp-tool this is intended to run on the experimenter's box --- planetlab/{scripts => exp-tool}/Makefile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename planetlab/{scripts => exp-tool}/Makefile (100%) diff --git a/planetlab/scripts/Makefile b/planetlab/exp-tool/Makefile similarity index 100% rename from planetlab/scripts/Makefile rename to planetlab/exp-tool/Makefile -- 2.43.0