James Allen 892e6bf6d1 Add in a synctex end point 12 lat temu
..
synctex 892e6bf6d1 Add in a synctex end point 12 lat temu
synctex.c 892e6bf6d1 Add in a synctex end point 12 lat temu