Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jetty-dev] WTP Plugin


when we make the index file for the jetty download directory, we could
also create a little XML file with jetty versions and links.  The
plugin could fetch that XML and use it as the basis of the buttons.
If the fetch fails, it can offer just stable-7


Back to the top