comparison COPYING @ 983:a8f91db36e9d

If the old and new-style user resource prefixes return different results, move across resources from old to new to prime the new path first time we look it up
author Chris Cannam
date Wed, 10 Sep 2014 09:40:45 +0100
parents c224dfa749a2
children
comparison
equal deleted inserted replaced
982:f161ca450050 983:a8f91db36e9d