|
Jpp
18.2.0
the software that should make you happy
|
Go to the source code of this file.
Variables | |
| script | |
| then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null set_variable DIR $JPP_DIR examples JDB if do_usage *then usage $script < detector identifier > fi case set_variable | DETECTOR |
1.8.5