Remove rcsid

Unused - this project is no longer stored in RCS
pkubowicz · Feb 21, 2016 · 62e93f6 · 62e93f6
1 parent b2ebeda
commit 62e93f6
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/detex.l b/detex.l
@@ -1,10 +1,6 @@
 %option never-interactive
 
 %top{
-#ifndef lint
-static char	rcsid[] = "$Header: /p/src/local/bin/detex/RCS/detex.l,v 2.22 2007/03/01 20:22:01 trinkle Exp trinkle $";
-#endif
-
 /*
  * Copyright (c) 1986-2007 Purdue University
  * All rights reserved.