James Allen 892e6bf6d1 Add in a synctex end point vor 12 Jahren
..
synctex 892e6bf6d1 Add in a synctex end point vor 12 Jahren
synctex.c 892e6bf6d1 Add in a synctex end point vor 12 Jahren