Commit 3f135d17 authored by Random User's avatar Random User Committed by Jordi Mas

Revert "Remove synctex plugin"

This reverts commit 9f59fd82.
parent 0d608f16
Pipeline #116769 passed with stage
in 30 minutes and 51 seconds