diff yatexlib.el @ 596:923a6c0183be draft dev

Add -synctex=1 to default command line option.
author HIROSE Yuuji <yuuji@gentei.org>
date Thu, 29 Sep 2022 10:23:48 +0900
parents 7810c4ec21fe
children 38a414d755c1
line wrap: on
line diff

yatex.org