From 0dd096ebec14a09ccacfa82aeee02cfcd8e72b3a Mon Sep 17 00:00:00 2001 From: Karel Miko Date: Sun, 2 Dec 2018 18:39:21 +0100 Subject: [PATCH] drop mess.sh (obsolete, from cvs-times) --- 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 - -