Use global option if local not defined

This commit is contained in:
Laurent Destailleur 2011-07-10 13:33:53 +00:00
parent bd46452727
commit 3c5fd5d6e9

Diff Content Not Available