merge from trunk

[plcapi.git] / PLC / Parameter.py

diff --git a/PLC/Parameter.py b/PLC/Parameter.py
index 2307483..474ad78 100644 (file)
--- a/PLC/Parameter.py
+++ b/PLC/Parameter.py
@@ -4,7 +4,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: Parameter.py,v 1.6 2006/11/08 22:10:00 mlhuang Exp $
+# $Id: Parameter.py 5574 2007-10-25 20:33:17Z thierry $
 #
 
 from types import *