branch: externals/diff-hl
commit 32d8b788265c6bca7f1af443d47233eebd4f64e5
Author: Dmitry Gutov <[email protected]>
Commit: Dmitry Gutov <[email protected]>
Delete outdated reference
---
diff-hl.el | 2 --
1 file changed, 2 deletions(-)
diff --git a/diff-hl.el b/diff-hl.el
index 097f0db835..2056c770dc 100644
--- a/diff-hl.el
+++ b/diff-hl.el
@@ -727,8 +727,6 @@ Return a list of line overlays used."
(dolist (win (get-buffer-window-list))
(set-window-buffer win (current-buffer))))))
-(put 'diff-hl--modified-tick 'permanent-local t)
-
(defun diff-hl-update-once ()
;; Ensure that the update happens once, after all major mode changes.
;; That will keep the the local value of <side>-margin-width, if any.
