diff base/Preferences.cpp @ 965:2d5a8219b4b0

Backed out changeset 6b5e1edd95fc. I had misunderstood, the container is a vector, not a map, so the fix doesn't work and the original code (although definitely flawed) actually does
author Chris Cannam
date Wed, 03 Sep 2014 10:56:59 +0100
parents 2896b8872834
children 344c9ea90181
line wrap: on
line diff