Remove $id$ tag now that we are on git; update copyright notice to year 2013

[plcapi.git] / debugger / index.php

diff --git a/debugger/index.php b/debugger/index.php
index ace7460..2f30c9f 100644 (file)
--- a/debugger/index.php
+++ b/debugger/index.php
@@ -1,5 +1,4 @@
 <?php
-// $Id$
   $query = '';
   if (isset($_GET['run']))
   {