X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=config.planetlab%2Fdeveldeb.pkgs;h=2b07f03ea7ccbe8ccd7bc845808fff61ccecb156;hb=4b019bb39efe7c104b80b0dea0248882926e95ac;hp=2206f6e223e3c4864a0f4b27b02281cf9a89096f;hpb=5d84397350524309159565f201ef649a493dd03b;p=build.git

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