Paulo Reis 0bad7d8549 Adjustments to synctex controls. 9 lat temu
..
coffee 158b0d56cf Merge branch 'master' into pr-style-v2-resizers 9 lat temu
templates 92928c35ab removed old email tempaltes 12 lat temu
views 0bad7d8549 Adjustments to synctex controls. 9 lat temu