tree 4f0b603f15eefffad2a48877ac8145418752aab1
parent 9b1e075368ee8d74b7342893da48fac0be39e000
author Dhruv Srivastava <dhruvsri@google.com> 1613587232 +0100
committer Dhruv Srivastava <dhruvsri@google.com> 1613587797 +0000

Remove unused property theme

theme doesn't exist in the documentation of DiffPreferencesInfo
and there are no usages with our codebase as well as of now.
Dark theme is currently being maintained via local storage.

Change-Id: Ideb20c47905f61dcda71500db56a2b846ec2dec6