From 40b782d9eb01a498c641057613d937a799bb48cd Mon Sep 17 00:00:00 2001 From: Silvio Rhatto Date: Sun, 13 Jan 2013 17:33:30 -0200 Subject: Removing more old stuff --- misc/shell | 6 ------ 1 file changed, 6 deletions(-) delete mode 100755 misc/shell (limited to 'misc/shell') diff --git a/misc/shell b/misc/shell deleted file mode 100755 index 26632b0..0000000 --- a/misc/shell +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash -# -# Wrapper script for a simple terminal -# - -Eterm -g 110x45+320+90 +sb -f white -F smooth --borderless no --buttonbar 0 --scrollbar 0 -P None -nterminal -- cgit v1.2.3