drop mess.sh (obsolete, from cvs-times)

2018-12-02 18:39:21 +01:00
parent 4dc178ba72
commit 0dd096ebec
1 changed files with 0 additions and 4 deletions
@@ -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
-
-