diff options
| author | Marius Ungureanu <teromario@yahoo.com> | 2017-05-09 16:59:35 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-09 16:59:35 +0300 |
| commit | 9bf9a809131b85c39e9eeecfa0b36fb2eaedce4d (patch) | |
| tree | dabfcfe68a37a734455929488aa4a31acf75ec02 | |
| parent | 884d72f6bcd14d83b1b959f0c695cced43cbfb55 (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 bf1daa1..ffa1741 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='6baa9a70f943f412a11b0fceb7072b8690621763', + revision='e0bd49f1e8cadfefdf4905085152c3df3b8388ad', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |