Remove tools/timestamp, which is no longer in use

2018-05-15 17:50:56 +01:00 · 2018-05-15 17:50:56 +01:00 · e1a81808df
parent 0dd46af8e6
commit e1a81808df
1 changed files with 0 additions and 3 deletions
--- a/tools/timestamp
+++ b/tools/timestamp
@ -1,3 +0,0 @@
-#!/bin/sh
-# We run perl through a shell to avoid having to hard-code the path to perl
-perl -e '$|=1; while(<>) {print time . " $_";}'