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)
It would be useful to allow user scripts to use the module
name 'Config'.


No differences found