trimmed installed debs for building

diff --git a/config.planetlab/develsfa.pkgs b/config.planetlab/develsfa.pkgs
index 3574d25..2206f6e 100644 (file)
--- 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