git.annexia.org / goaljobs.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Rename config.ml -> goaljobs_config.ml to avoid conflicting module names.
[goaljobs.git] / examples /
2013-09-16 Richard W.M. JonesWrite 'goaljobs' script (wrapper around the compiler). tree | commitdiff
2013-09-16 Richard W.M. Jonesbuild: Get 'make install' working. tree | commitdiff
2013-09-16 Richard W.M. Jonesexamples: Remove generated files when doing 'make clean'. tree | commitdiff
2013-09-16 Richard W.M. JonesFirst published version. tree | commitdiff
2013-09-15 Richard W.M. JonesInitial revision. tree | commitdiff
make & cron replacement