tree 93354db0e6b60b3795335444e53c6527124d4626
parent e9c3da9a45b8fe8c7388383c11171c32d25d5ac2
author Stephan Wahlbrink <sw@wahlbrink.eu> 1639438045 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1639438045 +0100

Bug 577782: [RPkg-Mgr] Fix preference definitions for custom repos

  - Disable deletion of migrated prefs for the moment

Change-Id: Ia395f7dc58aa9a6e5ba5075d3c12638d765d4927