Ole fb07bcd2b5 Use the GrDiff type now that it's available ...

Cleaning up a tempary duplication created during TypeScript migration.

Change-Id: I1a6aafb1630b9991ebd44f1f08a3eeece903b6e6

2020-10-09 10:50:13 +02:00

..

gr-diff-cursor_html.ts

Remove _scrollTopMargin after removing gr-fixed-panel

2020-08-13 20:23:15 +00:00

gr-diff-cursor_test.js

Move next-file-toast to gr-diff-cursor

2020-09-25 17:56:53 +02:00

gr-diff-cursor.ts

Use the GrDiff type now that it's available

2020-10-09 10:50:13 +02:00