Use global option if local not defined

This commit is contained in:
Laurent Destailleur 2011-07-10 13:33:53 +00:00
parent 570d79107c
commit 7c4745fe79

Diff Content Not Available