commit 0fcc0c5192cf71cc683bba2c727ff0f38a9a17ef Author: Sebastian Hahn sebastian@torproject.org Date: Sat Sep 3 17:30:42 2011 +0200

Don't push source files to the server --- update_translations | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/update_translations b/update_translations index 79a4913..67683f4 100755 --- a/update_translations +++ b/update_translations @@ -27,7 +27,7 @@ for project in $PROJECTS; do cd $project;

# Fetch new translations for this project ... - $TX pull -a -s > /dev/null; + $TX pull -a > /dev/null;

# ... add them to git ... git add . > /dev/null;