/dev-util/mono-tools/files/

• ../
• mono-tools-1.1.10-fix-desktop-entry.patch
• mono-tools-1.1.17-html-renderer-fixes.diff
• mono-tools-1.1.17-optional-browser.patch
• mono-tools-1.2.4-install.patch
• mono-tools-1.2.6-html-renderer-fixes.patch