Open squiter opened 2 years ago
This call is deprecated and now we should use this (xref-push-marker-stack) call.
(xref-push-marker-stack)
This call is deprecated and now we should use this
(xref-push-marker-stack)
call.