git.annexia.org / whenjobs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f58f89) | patch
Fix matching on true/false identifier (for boolean literals).
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 08:47:58 +0000 (08:47 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 08:47:58 +0000 (08:47 +0000)
commitad0b6d412312967a6604a763368ce1bcd977bc75
tree3de3273f21f5b6413364d6c123b5bfe2ab761fa2tree | snapshot
parent0f58f891d531defd1fa923dd2da93678c9c6f35bcommit | diff
Fix matching on true/false identifier (for boolean literals).
lib/whenutils.ml diff | blob | history
[OBSOLETE - SEE GOALJOBS] A powerful but simple cron replacement.