merge from trunk

[plcapi.git] / PLC / API.py

diff --git a/PLC/API.py b/PLC/API.py
index 5c06848..5c4cb9d 100644 (file)
--- a/PLC/API.py
+++ b/PLC/API.py
@@ -5,7 +5,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 #
 # Copyright (C) 2004-2006 The Trustees of Princeton University
-# $Id: API.py,v 1.8 2007/01/05 16:09:09 tmack Exp $
+# $Id: API.py 5574 2007-10-25 20:33:17Z thierry $
 #
 
 import sys