Ignore warnings about immutable strings.
[goaljobs.git] / .depend
2014-03-08 Richard W.M. JonesAdd a command line tool for examining the goaljobs...
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.