-
Committer:
Ulrik Sverdrup
-
Date:
2010-05-09 15:48:46 UTC
-
Revision ID:
git-v1:d23dc52fa394796b1d5056361ca2ceaaf4a630e0
Remove SETTING_PREFER_CATALOG
Remove SETTING_PREFER_CATALOG in favor of the Source attribute
'source_prefer_sublevel'.
However, no sources default to preferring sublevel. It is now a user
preference.