[commits] Horde branch master updated. f2a5de93c2729c8601f5a06573f6e6b47f34eaab

[Jan Schneider]

The branch "master" has been updated.
The following is a summary of the commits.

from: a81bf29ffb4bc27a09f09d0d3092f4f82ccae222

f2a5de9 Fix script name.

-----------------------------------------------------------------------

commit f2a5de93c2729c8601f5a06573f6e6b47f34eaab
Author: Jan Schneider <jan at horde.org>
Date:   Fri Oct 14 10:30:52 2011 +0200

    Fix script name.

 framework/Push/bin/horde-push |    8 ++++++++
 framework/Push/bin/push       |    8 --------
 framework/Push/package.xml    |    6 +++---
 3 files changed, 11 insertions(+), 11 deletions(-)
 create mode 100755 framework/Push/bin/horde-push
 delete mode 100644 framework/Push/bin/push

http://git.horde.org/horde-git/-/commit/f2a5de93c2729c8601f5a06573f6e6b47f34eaab