# HG changeset patch
# User Florian Pose <fp@igh-essen.com>
# Date 1211959173 0
# Node ID 57907232b90165ab41acc03ac2d02b352b105a48
# Parent  c3e398de0d99977212d9f4d7acaf778ff519a5f1
Fixed RevisionNo.

diff -r c3e398de0d99 -r 57907232b901 script/slaveinfo2xml.py
--- a/script/slaveinfo2xml.py	Tue May 27 12:45:07 2008 +0000
+++ b/script/slaveinfo2xml.py	Wed May 28 07:19:33 2008 +0000
@@ -172,7 +172,7 @@
 
         typeElement = doc.createElement('Type')
         typeElement.setAttribute('ProductCode', '#x%08x' % self.product)
-        typeElement.setAttribute('RevisionNumber', '#x%08x' % self.revision)
+        typeElement.setAttribute('RevisionNo', '#x%08x' % self.revision)
         deviceElement.appendChild(typeElement)
 
         for p in self.pdos: