There is an open issue to rename tabbedPanel to "tabbedpanel", I think it
even was in the commit comments, so I probably didn't delete the old one
("tabbedPanel"), and I'm on linux so it wouln't be a problem for me and I
didn't notice.musachy On 3/11/07, Wendy Smoak <[EMAIL PROTECTED]> wrote:
On 3/11/07, Ted Husted <[EMAIL PROTECTED]> wrote: > I believe that these are generated Javadoc files that we checkin for > the benefit of the snippet plugin. So, the answer would be to build it > and find out, except that I can't a checkout to build :) I deleted tabbedpanel.html, which had less history (by one revision, the other has two,) and did not match the filename of the html file one directory above it. -- Wendy --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
-- "Hey you! Would you help me to carry the stone?" Pink Floyd
