diff options
| author | Marius Ungureanu <teromario@yahoo.com> | 2017-05-10 15:08:46 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-10 15:08:46 +0300 |
| commit | 0f0eefee9a4ff7938bf539e741e28b6d35c5373e (patch) | |
| tree | 3f3975d30b27dbc207b19c1b62254eaddc08bd24 | |
| parent | 378d9e80042f405053ee9c0d0b26e504ec9f2b79 (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 ffa1741..93c5f28 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='e0bd49f1e8cadfefdf4905085152c3df3b8388ad', + revision='c7399c3e306cdf6ba0b6553a694434feff1823d4', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |