2011-12-22 16:56:22 -04:00
|
|
|
<?php
|
2010-12-02 23:34:41 +00:00
|
|
|
$ERROR_TEXT = "702 workspace undefined ";
|
|
|
|
|
$ERROR_DESCRIPTION = "You have specified an undefined workspace. <br>
|
|
|
|
|
Please review your URL and try it again.<br />
|
|
|
|
|
<br />
|
|
|
|
|
";
|
|
|
|
|
|
|
|
|
|
include ( "header.php");
|
|
|
|
|
?>
|
