Re: padding cleanup


I pushed a widget-padding-2 branch which has everything cleaned up.
Both widget-padding and widget-padding-2 can be deleted once this is
(I can merge if you like or feel free. or let me know what else to change.)

While messing with branches, I noticed hp-patches and havoc-patches
branches last changed in 2000. I think it's fair to assume I'm not
using these anymore and delete them. :-P


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]