
13 Feb
2012
13 Feb
'12
5:23 p.m.
* James Fisher
On Mon, Feb 13, 2012 at 9:01 PM, Jason Dagit
wrote: Is this the same or different than what you get with the -fext-core command?
The very same.
Oh. I usually use -ddump-simpl. Are they different for the purpose of this poll? In that case I should change my vote. It's also worth then to clarify this in the poll description. -- Roman I. Cheplyaka :: http://ro-che.info/