From e1a81808df09e7f2e36a2b7ed21dec86b63bbba4 Mon Sep 17 00:00:00 2001
From: George Oikonomou <george@contiki-ng.org>
Date: Tue, 15 May 2018 17:50:56 +0100
Subject: [PATCH] Remove tools/timestamp, which is no longer in use

---
 tools/timestamp | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100755 tools/timestamp

diff --git a/tools/timestamp b/tools/timestamp
deleted file mode 100755
index 16db8c988..000000000
--- a/tools/timestamp
+++ /dev/null
@@ -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 . " $_";}'