RvonMassow

<?php

	# Set the theme for your project's web pages.
	# See the Committer Tools "How Do I" for list of themes
	# https://dev.eclipse.org/committers/
	# Optional: defaults to system theme 
	$theme = "Nova";
	
	// create this file locally - it is on CVS ignore
	$isLocalVersion = file_exists ("islocalversion");