diff options
| author | Marius Ungureanu <teromario@yahoo.com> | 2017-05-24 18:21:20 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-24 18:21:20 +0300 |
| commit | b45cdafc138183125e52ad5e3abd4e401b445b2d (patch) | |
| tree | 8739485b20230704ab8be22c9b92c2b33d99c798 | |
| parent | c783777342f4d39b58f3c2e6a1659eedf504ac87 (diff) | |
Update gtk-sharp.py
| -rw-r--r-- | packages/gtk-sharp.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/gtk-sharp.py b/packages/gtk-sharp.py index 6515098..fb43cac 100644 --- a/packages/gtk-sharp.py +++ b/packages/gtk-sharp.py @@ -4,7 +4,7 @@ class GtkSharp212ReleasePackage (Package): Package.__init__(self, 'gtk-sharp', sources=['git://github.com/mono/gtk-sharp.git'], git_branch='gtk-sharp-2-12-branch', - revision='efba2a373410afb4ea0be892960b769c4835cfb3', + revision='e0ce4b3210ad6a910453b25e7b49b3f249fdce9c', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |