Thanks for the patch, this will be improved soon.
Greetings,
Daniel Stender
--
http://www.danielstender.com/blog/
PGP key: 2048R/E41BD2D0
C879 5E41 1ED7 EE80 0F2E 7D0C DBDD 4D96 E41B D2D0
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Tro
Source: gummi
Version: 0.6.5-3
Severity: wishlist
Tags: patch
Usertags: embedded-synctex-parser
gummi currently contains a copy of synctex parser from texlive-bin.
This code is now provided as shared library by
libsynctex1/libsynctex-dev. Please consider the attached patch to use
the shared librar
2 matches
Mail list logo
