Version 0.2.
[goaljobs.git] / .depend
2013-09-17 Richard W.M. JonesRename config.ml -> goaljobs_config.ml to avoid conflic...
2013-09-16 Richard W.M. JonesCommand line parsing, the concept of publishing goals.
2013-09-16 Richard W.M. JonesFirst published version.