tree afe211f643a0c083affb6ee59ce1c0af3f28f800
parent 03d10859e11d09cbcca3f9c9cb8879c3b7274664
parent 08a4154fee47624354b9881755f07222e28ff54a
author Dhruv Srivastava <dhruvsri@google.com> 1613654100 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1613654100 +0000

Merge changes I6ff5000a,Ia8677cf3,I55f144b9,Ideb20c47

* changes:
  Remove unused property skip_uncommented
  Remove unused property intraline_difference
  Remove unused property auto_hide_diff_table_header
  Remove unused property theme