From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 17 Sep 2013 11:13:32 +0000 (+0100)
Subject: Rename config.ml -> goaljobs_config.ml to avoid conflicting module names.
X-Git-Tag: 0.2~37
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=8fbc663ca72ef0c0a73cfb0f41d363e0c89a510e;hp=8fbc663ca72ef0c0a73cfb0f41d363e0c89a510e;p=goaljobs.git

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'.
---