Skip to content
GitLab
Explore
Sign in
GNOME
gedit-plugins
Repository
gedit-plugins
plugins
synctex
synctex.plugin.desktop.in.in
Find file
Blame
History
Permalink
Revert "Remove synctex plugin"
· 3f135d17
Random User
authored
Sep 20, 2019
and
Jordi Mas
committed
Sep 20, 2019
This reverts commit
9f59fd82
.
3f135d17