git.annexia.org / whenjobs.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Miscellaneous utility functions.
[whenjobs.git] / lib / whenutils.mli
2012-02-21 Richard W.M. JonesMiscellaneous utility functions. blob | commitdiff
2012-02-20 Richard W.M. JonesScheduling of every-jobs. blob | commitdiff | diff to current
2012-02-20 Richard W.M. JonesAdd filter_map utility. blob | commitdiff | diff to current
2012-02-18 Richard W.M. Joneswhenjobs initial version. blob | commitdiff | diff to current
[OBSOLETE - SEE GOALJOBS] A powerful but simple cron replacement.