git://git.onelab.eu / plcapi.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
merge changes from HEAD
[plcapi.git] / doc / DocBook.py
diff --git a/doc/DocBook.py b/doc/DocBook.py
index 91f0ff4..7867e47 100755 (executable)
--- a/doc/DocBook.py
+++ b/doc/DocBook.py
@@ -6,7 +6,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id$
+# $Id: DocBook.py,v 1.4 2007/02/19 18:02:39 mlhuang Exp $
 #
 
 import xml.dom.minidom
plcapi