From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 2 May 2016 10:24:41 +0000 (+0100)
Subject: pause.c: Remove last remaining `$Id:' marker.
X-Git-Tag: 1.4.2~5
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/misc/commitdiff_plain/9850a628739dd73baf3222315ba638e0844b4381?ds=inline;hp=--cc

pause.c: Remove last remaining `$Id:' marker.
---

9850a628739dd73baf3222315ba638e0844b4381
diff --git a/pause.c b/pause.c
index f182c09..6538e6a 100644
--- a/pause.c
+++ b/pause.c
@@ -1,6 +1,4 @@
 /* -*-c-*-
- *
- * $Id$
  *
  * Pause for a while
  *