Compare job names intelligently, so "job$9" < "job$10".
[whenjobs.git] / tests / jobs / t101_updown.ml
2012-02-21 Richard W.M. JonesTest running of jobs.