chiark / gitweb /
Various minor cleanups.
[tripe] / server / tripe.c
index f46e232cb4d9b0da910ca12564a28aa787dcff5d..280878c979b844180ced472218185591c7a2d050 100644 (file)
@@ -1,6 +1,4 @@
 /* -*-c-*-
- *
- * $Id$
  *
  * Main program
  *