tree 4c858593ec3438c479c60ac1995deeb9a59a469e
parent a41cdec4957e27fd0554d5d77014094ab702f571
author Dhruv Srivastava <dhruvsri@google.com> 1634631679 +0200
committer Dhruv Srivastava <dhruvsri@google.com> 1634638063 +0200

Remove unused property disableDiffPrefs

Property disableDiffPrefs defaults to false but is not set to true
anywhere.

Introduced in Change 203431, the property was never set to true in the
original change as well.

Change-Id: I23b91594627f9d023266f9cf8dae6f0b2e42e845