getter, setter are all final; several code clean-ups

[shipsimu.git] / application / selector / debug.php

<?php
// Initialize some debug constants here

// [EOF]
?>