Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez Gual <lluis@novell.com>2011-08-02 20:31:19 +0400
committerLluis Sanchez Gual <lluis@novell.com>2011-08-02 20:31:19 +0400
commit9da0c10f2e712b4c54409f469df8d5df26703202 (patch)
treeee220f9136333c3315e4354665469e371e2669ed /extras/JavaBinding/configure
parentd0f1717b7d7cc721db3eb0eeeea9a9f38df92016 (diff)
Update add-in versions
Diffstat (limited to 'extras/JavaBinding/configure')
-rwxr-xr-xextras/JavaBinding/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/JavaBinding/configure b/extras/JavaBinding/configure
index 4ccf976e3b..d58c308493 100755
--- a/extras/JavaBinding/configure
+++ b/extras/JavaBinding/configure
@@ -1,10 +1,10 @@
#!/bin/bash
-VERSION=2.5.91
+VERSION=2.5.93
PACKAGE=monodevelop-java
prefix=/usr/local
config=DEBUG
configurations=" RELEASE DEBUG"
-required_packages="mono-addins;0.3 gtk-sharp-2.0;2.12.8 glade-sharp-2.0;2.12.8 monodevelop;2.5.91"
+required_packages="mono-addins;0.3 gtk-sharp-2.0;2.12.8 glade-sharp-2.0;2.12.8 monodevelop;2.5.93"
usage ()
{