diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2013-01-13 17:33:30 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2013-01-13 17:33:30 -0200 |
commit | 40b782d9eb01a498c641057613d937a799bb48cd (patch) | |
tree | 4f4ab662ee3c0b2ca09214d78399856a4a5f3048 /misc/shell | |
parent | a64487d5db57b9e281a5953b082618d2c1fca8a4 (diff) | |
download | scripts-40b782d9eb01a498c641057613d937a799bb48cd.tar.gz scripts-40b782d9eb01a498c641057613d937a799bb48cd.tar.bz2 |
Removing more old stuff
Diffstat (limited to 'misc/shell')
-rwxr-xr-x | misc/shell | 6 |
1 files changed, 0 insertions, 6 deletions
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 |