| <!doctype html public "-//w3c//dtd html 4.0 transitional//en"> | |
| <html> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> | |
| <title>Platform Search</title> | |
| </head> | |
| <frameset rows="48,*" frameborder=0 framespacing=0 border="0"> | |
| <frame name="banner" scrolling="no" noresize target="home" | |
| src="http://dev.eclipse.org/banner.html" marginwidth="0" marginheight="0" frameborder="NO"> | |
| <frameset cols="126,*" frameborder=0 framespacing=0 border="0"> | |
| <frame name="home_nav" scrolling="no" noresize target="main" | |
| src="http://dev.eclipse.org/home_nav.html" marginwidth="0" marginheight="0" frameborder="NO"> | |
| <frame name="main" marginwidth=10 marginheight=10 noresize frameborder="NO" src="main.html"> | |
| </frameset> | |
| <noframes> | |
| <body> | |
| <p>This page uses frames, but your browser doesn't support them.</p> | |
| </body> | |
| </noframes> </frameset> | |
| </html> |