tree 03b72df740c60a6de16e4e690ee8ccec7a404098
parent d9b720f01fcda940f0fbe123908c3e9223f53c35
author Dhruv Srivastava <dhruvsri@google.com> 1613640413 +0100
committer Dhruv Srivastava <dhruvsri@google.com> 1613640413 +0100

Remove unused property intraline_difference

Change-Id: Ia8677cf3eea784d0dc1f0705d6b9ce1afeef3173