Compare job names intelligently, so "job$9" < "job$10".
[whenjobs.git] / tests / parsing / t020_simple.ml
2012-02-18 Richard W.M. Joneswhenjobs initial version.