-
Committer:
Martin Decky
-
Date:
2010-01-28 13:04:50 UTC
-
Revision ID:
martin@uranus.dsrg.hide.ms.mff.cuni.cz-20100128130450-wgtw3kw8wku0tsjl
rename the "abs32le" preconfigured defaults to "special (abs32le)"
this should make it possibly less confusing for somebody not aware of any verification efforts
and it also suggests that the abs32le is really something special, not an ordinary
hardware platform