[gedit-plugins] Created branch gnome-2-32



The branch 'gnome-2-32' was created.

Summary of new commits:

  857e328... Add synctex plugin.



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]