eradicate svn keywords
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 27 Mar 2012 14:28:33 +0000 (16:28 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 27 Mar 2012 14:28:33 +0000 (16:28 +0200)
build.sh
db-config.d/030-conf_files_node_update
nodeconfig/yum/centos5/yum.conf
nodeconfig/yum/f10/yum.conf
nodeconfig/yum/f12/yum.conf
nodeconfig/yum/f8/yum.conf
nodeconfig/yum/myplc.repo.php
nodeconfig/yum/yum.php

index 4fb0ae2..e3c842b 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -6,8 +6,6 @@
 # Marc E. Fiuczynski <mef@cs.princeton.edu>
 # Copyright (C) 2005-2007 The Trustees of Princeton University
 #
-# $Id$
-# $URL$
 
 #
 # This will build the bootstrafs-*.tar.bz2 images, which comprises
index 69ebcf4..36362fb 100644 (file)
@@ -1,6 +1,4 @@
 # -*-python-*-
-# $Id: 030-conf_files 16642 2010-01-18 17:14:40Z thierry $
-# $URL: svn+ssh://thierry@svn.planet-lab.org/svn/MyPLC/trunk/db-config.d/030-conf_files $
 #################### conf files
 
 conf_files = [
index 3dc1b2a..0dc92b1 100644 (file)
@@ -1,5 +1,4 @@
 # CentOS 5
-# $URL$
 [main]
 # Overwriting the default yum repos dir
 reposdir=/etc/yum.myplc.d
index ab30e9f..04d950a 100644 (file)
@@ -1,5 +1,4 @@
 # Fedora 10
-# $URL$
 [main]
 # Overwriting the default yum repos dir
 reposdir=/etc/yum.myplc.d
index 5b6d3a6..cd6fefe 100644 (file)
@@ -1,5 +1,4 @@
 # Fedora 12
-# $URL$
 [main]
 # Overwriting the default yum repos dir
 reposdir=/etc/yum.myplc.d
index 8e8e63f..8f539ab 100644 (file)
@@ -1,5 +1,4 @@
 # Fedora 8
-# $URL$
 [main]
 # Overwriting the default yum repos dir
 reposdir=/etc/yum.myplc.d
index d06da92..11b48fa 100644 (file)
@@ -5,9 +5,6 @@
 // Thierry Parmentelat 
 // Copyright (C) 2008 INRIA
 //
-// $Id$
-// $URL$
-//
 
 // For PLC_NAME and PLC_BOOT_HOST
 include('plc_config.php');
@@ -26,8 +23,6 @@ if (isset($_REQUEST['gpgcheck'])) {
 }
 
 echo "# Generated by myplc.repo.php\n";
-echo '# $Id$' . "\n";
-echo '# $URL$' . "\n";
 # we assume the node is not so old that it would not send node_id
 # get node family
 if ( ! isset($_REQUEST['node_id'])) {
index 81dd1b6..f116227 100644 (file)
@@ -5,9 +5,6 @@
 // Thierry Parmentelat 
 // Copyright (C) 2008 INRIA
 //
-// $Id$
-// $URL$
-//
 
 // For PLC_NAME and PLC_BOOT_HOST
 include('plc_config.php');
@@ -26,8 +23,6 @@ if (isset($_REQUEST['gpgcheck'])) {
 }
 
 echo "# Generated by yum.php\n";
-echo '# $Id$' . "\n";
-echo '# $URL$' . "\n";
 # we assume the node is not so old that it would not send node_id
 # get node family
 if ( ! isset($_REQUEST['node_id'])) {