[Webwork-devel] CVS update: 'webwork/src/main/webwork default.properties'

[Rickard ?b. <ric...@us...>]

Update of /cvsroot/webwork/webwork/src/main/webwork
In directory usw-pr-cvs1:/tmp/cvs-serv23607

Modified Files:
	default.properties 
Log Message:
Added default theme setting