|
Jpp
18.3.0-rc.1
the software that should make you happy
|
Go to the source code of this file.
Functions | |
| then usage $script< detector identifier >< run >< nickname > fi | if (($#==3)) |
Variables | |
| script | |
| then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null | set_variable |
1.8.5