[anjuta/git-shell] (14 commits) ...Merge branch 'master' into git-shell

[James Liggett <jrliggett src gnome org>]

Summary of changes:

  ad0bdec... dbg: Allow to send pause program several times (*)
  4a0ce80... terminal: bgo#619253  - Problem of ianjuta_terminal_execute (*)
  a9f3c47... run: Improve handling of errors (*)
  c3f2e55... Updated Spanish translation (*)
  37f55f6... gdb: Add support for pretty printers (gdb > 7.0) (*)
  ec82284... bgo #622526  - HAVE_INTROSPECTION does not appear in AM_CON (*)
  ba3f1b6... Simplified configure.ac for future gtk+-3.0 transition (*)
  80b97e5... symbol-db: Fixed benchmark build after last commit (*)
  6eec7a1... Revert "symbol-db: added db-ready signal to interface." (*)
  9ce91d6... symbol-db: Fixed bgo #617472: doubled items in locals view (*)
  6cc41f5... Updated Slovenian translation (*)
  b6818ab... Fix for bgo #622706 and allow to sort shortcuts by accelera (*)
  34a4763... git: Implement the pull pane
  e51cf9d... Merge branch 'master' into git-shell

(*) This commit already existed in another branch; no separate mail sent