Fix double-scheduled timer problem caused by reloading the jobs file.
[whenjobs.git] / lib / config.mli
2012-02-22 Richard W.M. JonesAdd an explicit interface config.mli.