git://git.onelab.eu
/
nodeconfig.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
merged changesets 11047 and 11050 from trunk
[nodeconfig.git]
/
PlanetLabConf
/
myplc.repo.php
diff --git
a/PlanetLabConf/myplc.repo.php
b/PlanetLabConf/myplc.repo.php
index
29c57ed
..
f00f620
100644
(file)
--- a/
PlanetLabConf/myplc.repo.php
+++ b/
PlanetLabConf/myplc.repo.php
@@
-5,7
+5,7
@@
// Thierry Parmentelat
// Copyright (C) 2008 INRIA
//
-// $Id
: yum.conf.php 9688 2008-06-25 08:24:27Z thierry
$
+// $Id$
//
// For PLC_NAME and PLC_BOOT_HOST