diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2017-09-18 14:09:10 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2017-10-14 16:29:00 +0200 |
| commit | a8224fda63571be856a0353903e6d7d1cbff45cb (patch) | |
| tree | 8c6aa011b81b4abf8abbc69cab5712118342cbaa /bash | |
| parent | 1338aa1b1becf663faf4762edd327a1765d92472 (diff) | |
[vimtex] Fix backward synctex
Diffstat (limited to 'bash')
0 files changed, 0 insertions, 0 deletions