]> gitweb.factorcode.org Git - factor.git/commit
Do not use deprecated marker api
authorRudi Grinberg <me@rgrinberg.com>
Tue, 23 Mar 2021 06:22:01 +0000 (23:22 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Mar 2021 14:26:43 +0000 (07:26 -0700)
commit0ce90ffe5b904633c9985ca9d5c8d27f4f6eb086
tree2dcba5a3c7d17a6ca40e46bc9dd00f91db60ac81
parentcd3655dc4cffc5a5536edf5b5d0e90020e2cf480
Do not use deprecated marker api

Use xref-push-marker-stack to push find-tag-marker-ring

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
misc/fuel/fuel-edit.el