b13938ce7d
[server-pro] add tests for SyncTeX GitOrigin-RevId: 2c914cd7e3859fb82c6e560fda1248d98415da2f
[server-pro] add tests for SyncTeX GitOrigin-RevId: 2c914cd7e3859fb82c6e560fda1248d98415da2f