changed requirements
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 9 Aug 2006 11:54:18 +0000 (11:54 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 9 Aug 2006 11:54:18 +0000 (11:54 +0000)
commit284f5689bc6667e94e5a0f9f869ab630b43458fa
tree0d8e56a719e43c916dd76acff619cb81ca141e6f
parentf9a010d893d700bd120cf8b96c1772e7c6f4d92e
changed requirements
ir/be/ia32/ia32_spec.pl