commit f53eb0f7f3d8521a6f1f8914045c0b43c9a0affe
author mknauer <mknauer> Tue Mar 24 22:13:53 2009 +0000
committer mknauer <mknauer> Tue Mar 24 22:13:53 2009 +0000
tree fc180bd4a7caa742b64adbb9ba06abc095d8f7a3
parent 2798280d46f053c7885a210f602b3fa358357ce0

and switching back (have to change the tables first!)

_projectCommon.php

diff --git a/_projectCommon.php b/_projectCommon.php
index 5918035..4628e8e 100644
--- a/_projectCommon.php
+++ b/_projectCommon.php
@@ -4,7 +4,7 @@
 	# See the Committer Tools "How Do I" for list of themes
 	# https://dev.eclipse.org/committers/
 	# Optional: defaults to system theme 
-	$theme = "Nova";
+	$theme = "";
 	
     # see http://www.eclipse.org/projects/dev_process/project-status-infrastructure/left-menu.php
     require_once($_SERVER['DOCUMENT_ROOT'] . "/projects/common/project-info.class.php");