chiark / gitweb /
pause.c: Remove last remaining `$Id:' marker.
[misc] / pause.c
diff --git a/pause.c b/pause.c
index f182c099e25bcb9ce77f8516e061d040874c09be..6538e6ae9336070d927ca1056fcdddd5d67bed6c 100644 (file)
--- a/pause.c
+++ b/pause.c
@@ -1,6 +1,4 @@
 /* -*-c-*-
- *
- * $Id$
  *
  * Pause for a while
  *