git.annexia.org / whenjobs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf5d28f) | patch
Compare job names intelligently, so "job$9" < "job$10".
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 13:57:07 +0000 (13:57 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 13:57:07 +0000 (13:57 +0000)
commit28d4576308b10064eda39827c419aa33e1041041
tree6b6ff0c2787bfae2eb2694f67b8e0c3df072b6cdtree | snapshot
parentbf5d28ff726e12696717c556b3a5426384270837commit | diff
Compare job names intelligently, so "job$9" < "job$10".
daemon/daemon.ml diff | blob | history
[OBSOLETE - SEE GOALJOBS] A powerful but simple cron replacement.