On 1/7/2007 6:55 PM, [EMAIL PROTECTED] wrote:
>> I think we should get rid of source attributes completely,
>> since they are no longer needed, but your comment still
>> applies to source references. We should strip them when code
>> gets modified.
>>
>> Duncan Murdoch
>
> I would be very conce
> I think we should get rid of source attributes completely,
> since they are no longer needed, but your comment still
> applies to source references. We should strip them when code
> gets modified.
>
> Duncan Murdoch
I would be very concerned about losing source attributes-- it would
break a
