tree afaff05b32e335969c24d9553f44738d23ec78b7
parent 4c90df33dab78d7895aa1121603d2680e7efefaf
author Dhruv Srivastava <dhruvsri@google.com> 1613637217 +0100
committer Dhruv Srivastava <dhruvsri@google.com> 1613640335 +0000

Remove unused property auto_hide_diff_table_header

Change-Id: I55f144b9921ad18509190229c1b1d4f1cb251b96