From 73c131bf291a4b7cee27615544a6f752f457d958 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 21 Jan 2013 09:16:44 +0100
Subject: [PATCH] trimmed installed debs for building

---
 config.planetlab/develsfa.pkgs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/config.planetlab/develsfa.pkgs b/config.planetlab/develsfa.pkgs
index 3574d258..2206f6e2 100644
--- a/config.planetlab/develsfa.pkgs
+++ b/config.planetlab/develsfa.pkgs
@@ -27,6 +27,3 @@ package: python-dateutil python-openssl python-m2crypto python-lxml xsltproc
 # 
 # xmlbuilder
 package: python-setuptools
-#
-# convenience
-package: emacs23-nox
-- 
2.43.0