[gedit/gnome-3-8] external tools: Save all documents in Build tool

[Adam Dingle <adamd src gnome org>]

commit b8f6388ccb16c1a2c89c1a2b78669da8940156df
Author: Adam Dingle <adam yorba org>
Date:   Sat Jun 1 10:55:09 2013 -0400

    external tools: Save all documents in Build tool

 plugins/externaltools/data/build.desktop.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/data/build.desktop.in b/plugins/externaltools/data/build.desktop.in
index 13767ee..42de918 100644
--- a/plugins/externaltools/data/build.desktop.in
+++ b/plugins/externaltools/data/build.desktop.in
@@ -5,5 +5,5 @@ Input=nothing
 Output=output-panel
 Shortcut=<Control>F8
 Applicability=local
-Save-files=nothing
+Save-files=all
 Languages=