Bugfix release. * Windows registry search fix * add work-around for Windows cmd.exe quotation problem * fix bug in function that sets up version variables * make code more robust against exceptional usage cases
Bugfix release. * Windows registry search fix * add work-around for Windows cmd.exe quotation problem * fix bug in function that sets up version variables * make code more robust against exceptional usage cases