Gedit-plugins contain a set of plugins for gedit.

This plugin highlight lines that have been changed since the last git commit.