change preference default to not check for updates on startup
[debian/openrocket] / debian / compat
1 7