Gedit synctex plugin
The gedit synctex plugin
Toon experimentele pakketten Toon pakketten van de gemeenschap