Simplify code in the whenjobs tool by creating nr_args, arg1 variables.
[whenjobs.git] / tools /
drwxr-xr-x   ..
-rw-r--r-- 2557 Makefile.am
-rw-r--r-- 1629 tutorial.ml
-rw-r--r-- 14584 whenjobs.ml
-rw-r--r-- 20177 whenjobs.pod