From 43be0bd551a47bc0053a349cf7084cee6aaf8768 Mon Sep 17 00:00:00 2001
From: Peter Palfrader <peter@palfrader.org>
Date: Wed, 22 Oct 2014 21:03:12 +0200
Subject: Remove $Id$ tags from all files

---
 tools/pingctl | 1 -
 1 file changed, 1 deletion(-)

(limited to 'tools/pingctl')

diff --git a/tools/pingctl b/tools/pingctl
index 625793e..8da298d 100755
--- a/tools/pingctl
+++ b/tools/pingctl
@@ -1,6 +1,5 @@
 #!/bin/sh
 #
-# $Id$
 #
 # This file is part of Echolot - a Pinger for anonymous remailers.
 #
-- 
cgit v1.2.3