From 6cf68957f10768c1e586ea238302b9935d267ea2 Mon Sep 17 00:00:00 2001
From: Omar Vega Ramos <ovruni@gnu.org.pe>
Date: Mon, 10 Jul 2017 17:39:56 -0500
Subject: Removing terasology-git. Use terasology instead

---
 pcr/terasology-git/terasology | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100755 pcr/terasology-git/terasology

(limited to 'pcr/terasology-git/terasology')

diff --git a/pcr/terasology-git/terasology b/pcr/terasology-git/terasology
deleted file mode 100755
index aff3980be..000000000
--- a/pcr/terasology-git/terasology
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-exec sh /usr/share/terasology/run_linux.sh
-- 
cgit v1.2.3