On 06/29/2010 01:42 PM, Markus Armbruster wrote:
As to "for the user":dev-prop: cpu_env = CPU #0 dev-prop: cpu_env = 0 Both are equally intelligible, in my opinion: obvious if you know what the property is about, gibberish if you don't. The latter is slightly easier to parse with simple tools like AWK.
I'll remove the decoration (though the overall problem remains). Paolo
