From 528c5cf08262f7b3852e56703f52c5325483ee87 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 16 Jan 2013 21:08:42 +0100
Subject: [PATCH] emacs

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

diff --git a/config.planetlab/develsfa.pkgs b/config.planetlab/develsfa.pkgs
index 81141340..f78f6dc8 100644
--- a/config.planetlab/develsfa.pkgs
+++ b/config.planetlab/develsfa.pkgs
@@ -20,3 +20,6 @@ package: python python-devel
 package: python-dateutil python-openssl python-m2crypto python-lxml xsltproc
 # xmlbuilder
 package: python-setuptools
+#
+# convenience
+package: emacs23-nox
-- 
2.47.0