Skip to content
Snippets Groups Projects
Commit 8d0ece25 authored by Luigi Scarso's avatar Luigi Scarso
Browse files

synctex wrap up callback (HH)

parent 9b723222
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 33 additions and 2 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment