| commit | 872cc5988556032ca9f23d36a2c66e087d991976 | [log] [tgz] |
|---|---|---|
| author | Zhenkai Zhu <zhenkai@cs.ucla.edu> | Mon Mar 04 14:20:46 2013 -0800 |
| committer | Zhenkai Zhu <zhenkai@cs.ucla.edu> | Mon Mar 04 14:25:22 2013 -0800 |
| tree | 9ab9e00c45d9edbf2ba7bf6802dc8ff4cf4dd5ca | |
| parent | 28cacc1661e546f107ebd8aeceb4e547d91d90f8 [diff] [blame] |
fix gui glitches
diff --git a/osx/osxdist.py b/osx/osxdist.py index 78531ac..0291460 100644 --- a/osx/osxdist.py +++ b/osx/osxdist.py
@@ -380,7 +380,7 @@ a.handle_libs() a.copy_resources(['../gui/images', '../gui/html', '../osx/qt.conf', '../osx/dsa_pub.pem']) a.update_plist() - a.set_min_macosx_version('10.8.0') + a.set_min_macosx_version('10.6.0') a.done() # Sign our binaries, etc.