@LarsGit223 pushed 3 commits.
01007cf52469e9378467119f87afb69437303385 workbench: fixed wrong Gtk version check for 'gtk_widget_set_margin_start()' 59aaa6aeafed035243c7cafdda9cf6c5e9a3795d workbench: added missing '$(WORKBENCH_CFLAGS)' to makefile 80c6e1b298c12ed8d18fb6e6af607d3a976f0c58 workbench: added macros to deal with older libgit2 versions