/gnome-extra/gnome-do-plugins/files/

• ../
• gnome-do-plugins-0.8.2-mono26.patch
• gnome-do-plugins-0.8.2-mono28.patch