From fa72d7ca3de77ad4b46c0d704dae76eca1eea5d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Mon, 20 May 2013 14:24:59 +0200
Subject: [PATCH] Forgot to remove the conversion script...

---
 srclibs/convert.sh | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100755 srclibs/convert.sh

diff --git a/srclibs/convert.sh b/srclibs/convert.sh
deleted file mode 100755
index 6bd09d7d86..0000000000
--- a/srclibs/convert.sh
+++ /dev/null
@@ -1,32 +0,0 @@
-#!/bin/zsh
-
-repo=false
-writing=false
-
-while read -r line; do
-    if $repo; then
-        echo "Repo:${${line%\'*}#*\'}\n" >> $file
-        repo=false
-    elif $writing; then
-        if [[ "$line" == *"pp.close()"* ]]; then
-            writing=false
-            echo "\" >> project.properties\n" >> $file
-        else
-            echo -nE "${${line%\'*}#*\'}" >> $file
-        fi
-    elif [[ "$line" == *"getvcs("* ]]; then
-        echo "Repo Type:${${line%\'*}#*\'}" >> $file
-        repo=true
-    elif [[ "$line" == *"libdir = "* ]]; then
-        echo "Subdir:${${line%\'*}#*\'}\n" >> $file
-    elif [[ "$line" == *"'update', 'project'"* ]]; then
-        echo "Update Project:Yes\n" >> $file
-    elif [[ "$line" == *"pp = open("* ]]; then
-        writing=true
-        echo -n "Prepare:echo \"" >> $file
-    elif [[ "$line" == "if name =="* ]]; then
-        cur=${${line%\'*}#*\'}
-        file=$cur.txt
-        : >! $file
-    fi
-done < source