git.annexia.org / goaljobs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0bf80d) | patch
Rename config.ml -> goaljobs_config.ml to avoid conflicting module names.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 17 Sep 2013 11:13:32 +0000 (12:13 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 17 Sep 2013 11:38:01 +0000 (12:38 +0100)
commit8fbc663ca72ef0c0a73cfb0f41d363e0c89a510e
treeeb76f7280f0847f88cb99212944572044847cf95tree | snapshot
parenta0bf80d39e5dbb7daac3c28ab546a2c3ae1312a6commit | diff
Rename config.ml -> goaljobs_config.ml to avoid conflicting module names.

It would be useful to allow user scripts to use the module
name 'Config'.
.depend diff | blob | history
.gitignore diff | blob | history
Makefile.am diff | blob | history
TODO [new file with mode: 0644] blob
configure.ac diff | blob | history
goaljobs.ml diff | blob | history
goaljobs_config.ml.in [moved from config.ml.in with 100% similarity] blob | history
make & cron replacement