From c7712fafac78037cfb02094aa6c203981ced233e Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Thu, 23 Jan 2014 10:44:01 +0100 Subject: [PATCH] more sensible name develdeb.pkgs as it is used for all debians --- config.planetlab/{develsfa.pkgs => develdeb.pkgs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename config.planetlab/{develsfa.pkgs => develdeb.pkgs} (100%) diff --git a/config.planetlab/develsfa.pkgs b/config.planetlab/develdeb.pkgs similarity index 100% rename from config.planetlab/develsfa.pkgs rename to config.planetlab/develdeb.pkgs -- 2.43.0