"docu" enhanced
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 10 Jun 2007 09:14:16 +0000 (09:14 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 10 Jun 2007 09:14:16 +0000 (09:14 +0000)
commit9f794d717dbdf9dc6cb6ebad4a279976bd8c7c2a
treebe7e4587e4731b4d2a2149337bed8ff5383b522e
parent4658dc6dbc1a84e71be79fe074c08329af93ad9c
"docu" enhanced

[r14397]
ir/be/ia32/ia32_spec.pl