Implement 'whenjobs --job-names' which lists all loaded jobs.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 10 Mar 2012 12:26:42 +0000 (12:26 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 10 Mar 2012 12:26:42 +0000 (12:26 +0000)
commitcdfbf1623f1d81cfca15f8efbe2bf444e6b1ef5a
tree5d08b4a10a590e3f4afd0d7cfbf31e4db6f68990
parent8ee4056bf819402aa4225e73bbe0a66e24294581
Implement 'whenjobs --job-names' which lists all loaded jobs.
tools/whenjobs.ml
tools/whenjobs.pod