blob: 772db3211f914c491f4a846aea7e991260d6f7a6 [file] [log] [blame]
<?php
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php");
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php");
$App = new App();
$Nav = new Nav();
$Menu = new Menu();
/* un-comment to use 100% of the content box
$right_nav = FALSE;
*/
$keyword = 'Eclipse 4.14, API contract compatibility, migrating 4.13 plug-ins to 4.14';
require_once($_SERVER['DOCUMENT_ROOT'] ."/eclipse/development/nova/_projectCommon.php");