From 9d6c9c63cd039487787f58b5e26badc3100187c8 Mon Sep 17 00:00:00 2001
From: Mika Suomalainen <mika.henrik.mainio@hotmail.com>
Date: Thu, 1 Sep 2011 18:57:34 +0300
Subject: [PATCH] Removed push.sh from the repo. I put it there by accident.

---
 push.sh | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 push.sh

diff --git a/push.sh b/push.sh
deleted file mode 100644
index 23c6bf17c..000000000
--- a/push.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-git fetch --all
-git push origin --all
-git push mirror --mirror