Allow manual build
Version 2013.07.26
Merge branch 'dev' of github.com:GPGTools/GPGTools_Installer into dev
Release notes
Do not use DS_Store for layout
Font type fixed