89db50dedd8e96c4524c3e0250890eab *DESCRIPTION
95b12d7ad938910811d01ac05cd600ec *NAMESPACE
91ef2e5d44f2407ade12006744b916d1 *NEWS
18ab5b06745fdc72a3db4b0731e3184a *R/patchSynctex.R
58b6893efd6e5181f62abaeaa56612f7 *README.md
cb915acca7a73ba19200002215f57267 *man/patchSynctex-package.Rd
3653b0d260a91a55edfcd198ea581262 *man/patchSynctex.Rd
