diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-06-03 09:17:55 -0700 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-06-03 09:17:55 -0700 |
commit | c83d4d2170bf00863bd5c21c6eaea91b00390e72 (patch) | |
tree | 658a70c0c3009920fecb4cc33e88653ad8052ddb /contrib | |
parent | cd945c3bc9dc182960e214961be6074f99011190 (diff) | |
parent | 39fe9de6b2b255969971beca8fa25a33ad2e5750 (diff) |
Merge pull request #2613 from jonasschnelli/prefsFix
MaxOSX: settings fixes (#2371)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions