descriptionGEdit plugin providing support for collaborative editing
last changeThu, 14 May 2015 20:00:56 +0000 (22:00 +0200)
shortlog
2015-05-14 Jakub Bogusz- initial, not ready for gedit 3.16 nor libinfinity 0.6 master
heads
2 years ago master
This page took 0.231079 seconds and 7 git commands to generate.