| 25 |
</div> |
</div> |
| 26 |
<div id="main"> |
<div id="main"> |
| 27 |
<div id="customheader"><?php print($header) ?></div> |
<div id="customheader"><?php print($header) ?></div> |
| 28 |
<?php if ($mission != ""): ?><p id="mission"><?php print $mission ?></p><?php endif; ?> |
<?php if ($mission): ?><p id="mission"><?php print $mission ?></p><?php endif; ?> |
| 29 |
<div id="menu"> |
<div id="menu"> |
| 30 |
<?php if (isset($primary_links)) { ?><div id="primary"> |
<?php if (isset($primary_links)) { ?><div id="primary"> |
| 31 |
<?php $i=0; ?> |
<?php $i=0; ?> |
Parent Directory
| 
Revision Log
| 
Revision Graph
| 
Patch