Dolphin plugin for revision control softwares
