a new format for pkgs files

[build.git] / config.f12 / devel.pkgs

diff --git a/config.f12/devel.pkgs b/config.f12/devel.pkgs
index 0b37aac..a53aeb6 100644 (file)
--- a/config.f12/devel.pkgs
+++ b/config.f12/devel.pkgs
@@ -1,3 +1,6 @@
+# $Id$
+# $URL$
+#
 groupname: PlanetLabDevel
 groupdesc: Building PlanetLab
 # general utilities