diff options
Diffstat (limited to 'development/monodevelop/fix-nuget-mgm.patch')
| -rw-r--r-- | development/monodevelop/fix-nuget-mgm.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/development/monodevelop/fix-nuget-mgm.patch b/development/monodevelop/fix-nuget-mgm.patch deleted file mode 100644 index 17a83aab11..0000000000 --- a/development/monodevelop/fix-nuget-mgm.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -ur monodevelop.old/main/monodevelop.desktop monodevelop/main/monodevelop.desktop ---- monodevelop.old/main/monodevelop.desktop 2017-04-12 10:50:03.000000000 -0300 -+++ monodevelop/main/monodevelop.desktop 2017-07-09 19:04:01.306846766 -0300 -@@ -6,7 +6,7 @@ - GenericName[ja]=統合開発環境 - Comment=Develop .NET applications in an Integrated Development Environment - Comment[ja]=.NETアプリケーション開発を行うための統合開発環境 --Exec=monodevelop %F -+Exec=env MONO_TLS_PROVIDER=legacy monodevelop %F - TryExec=monodevelop - Icon=monodevelop - StartupNotify=true |