Merge pull request #3159 from techee/tex_sync
commitf0ecf92e89309a23f914383ebb2968d665df911a
authorJiří Techet <techet@gmail.com>
Thu, 12 May 2022 23:11:49 +0000 (13 01:11 +0200)
committerGitHub <noreply@github.com>
Thu, 12 May 2022 23:11:49 +0000 (13 01:11 +0200)
treea37449e728c9212ce722e1df3e0fa2f7e6d71ac7
parent34d0f2e14149faa4ac7efb655e998848d9be5b77
parent38c3656d1c25c9ab79ead94160641c3e95075804
Merge pull request #3159 from techee/tex_sync

Use the upstream latex parser