git.annexia.org / whenjobs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0337044) | patch
pa_when does not need and shouldn't depend on whenlib.cma
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 10:43:34 +0000 (10:43 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 10:45:53 +0000 (10:45 +0000)
commit0e4f253777af9b8aa7c3107d71dfbb061172a53e
tree9a71d1df1e31c4fedfe3fc3dc46bab1271186380tree | snapshot
parent0337044605365827b9089f4f79757f5f46149dfbcommit | diff
pa_when does not need and shouldn't depend on whenlib.cma
or any other libraries.
lib/Makefile.am diff | blob | history
lib/pa_when.ml diff | blob | history
[OBSOLETE - SEE GOALJOBS] A powerful but simple cron replacement.