From 2c320c3d54381bc94011a4d5016a71dfb0e6a48a Mon Sep 17 00:00:00 2001 From: Steffen Jaeckel Date: Thu, 3 Oct 2019 16:49:34 +0200 Subject: [PATCH] remove mess.sh --- mess.sh | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 mess.sh diff --git a/mess.sh b/mess.sh deleted file mode 100644 index bf639ce..0000000 --- a/mess.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -if cvs log $1 >/dev/null 2>/dev/null; then exit 0; else echo "$1 shouldn't be here" ; exit 1; fi - -