git://git.onelab.eu / plcapi.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
merge from trunk
[plcapi.git] / PLC / KeyTypes.py
diff --git a/PLC/KeyTypes.py b/PLC/KeyTypes.py
index 0092bf7..920662b 100644 (file)
--- a/PLC/KeyTypes.py
+++ b/PLC/KeyTypes.py
@@ -4,7 +4,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: KeyTypes.py,v 1.3 2006/10/24 20:02:22 mlhuang Exp $
+# $Id: KeyTypes.py 5574 2007-10-25 20:33:17Z thierry $
 #
 
 from PLC.Faults import *
plcapi