Miscellaneous utility functions.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 08:49:01 +0000 (08:49 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 10:45:53 +0000 (10:45 +0000)
commitb237164759a7bae9d3ee19c8368b17384b925b42
treec2fae3fbc76f513d0b4c005140c17d4c991ddce9
parent96dc3423bc3675797f59c7b582110845ce7a8bf6
Miscellaneous utility functions.
lib/whenutils.ml
lib/whenutils.mli