user-friendlier date chosing in events

[plewww.git] / planetlab / includes / plc_tables.php

diff --git a/planetlab/includes/plc_tables.php b/planetlab/includes/plc_tables.php
index 0cfeba4..5d7f379 100644 (file)
--- a/planetlab/includes/plc_tables.php
+++ b/planetlab/includes/plc_tables.php
@@ -1,5 +1,7 @@
 <?php
 
+  // $Id$
+
 drupal_set_html_head('
 <script type="text/javascript" src="/planetlab/tablesort/tablesort.js"></script>
 <script type="text/javascript" src="/planetlab/tablesort/customsort.js"></script>