From 4d84c2a622929d6ff5ab7f40697bc4e47f76e057 Mon Sep 17 00:00:00 2001 From: Dimitri Staessens Date: Sun, 7 Jul 2019 12:22:18 +0200 Subject: themes: Remove terrassa theme --- themes/terrassa/usage.sh | 5 ----- 1 file changed, 5 deletions(-) delete mode 100755 themes/terrassa/usage.sh (limited to 'themes/terrassa/usage.sh') diff --git a/themes/terrassa/usage.sh b/themes/terrassa/usage.sh deleted file mode 100755 index 23d8d60..0000000 --- a/themes/terrassa/usage.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash - -make build -make docker-nc -make run \ No newline at end of file -- cgit v1.2.3