diff options
| -rw-r--r-- | devel/monodoc/files/patch-monodoc.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/monodoc/files/patch-monodoc.in b/devel/monodoc/files/patch-monodoc.in deleted file mode 100644 index 487a20290697..000000000000 --- a/devel/monodoc/files/patch-monodoc.in +++ /dev/null @@ -1,11 +0,0 @@ ---- monodoc.in.orig Sun May 1 13:48:01 2005 -+++ monodoc.in Mon Dec 5 21:50:59 2005 -@@ -82,7 +82,7 @@ - fi - - if test -e $monodocdir/browser.exe; then -- exec mono --debug $monodocdir/browser.exe $OPTIONS "$@" $REST -+ exec mono --debug $monodocdir/browser.exe --no-gecko $OPTIONS "$@" $REST - else - echo "The monodoc GUI component is not installed. Install it from the mono-tools package." - fi |