root
/
scripts
/
dev
/
generate-phpt
/
src
/
setup
/
exceptions
/gtUnknownOptionException.php
/* [<][>][^][v][top]
[bottom]
[index]
[help]
*/
<?php
class
gtUnknownOptionException
extends
RuntimeException
{
}
?>
/* [<][>][^][v]
[top]
[bottom]
[index]
[help]
*/