Use global option if local not defined

This commit is contained in:
Laurent Destailleur 2011-07-10 13:33:53 +00:00
parent 8c278bc0e6
commit 4180b38780

Diff Content Not Available