add RCS id string

2000-06-22 22:00:42 +00:00
parent 541ed6feaf
commit 9c3531d72a
607 changed files with 1214 additions and 1 deletions
--- a/doc/dev/coding.html
+++ b/doc/dev/coding.html
@@ -15,6 +15,8 @@
 - SOFTWARE.
 -->

+<!-- $Id: coding.html,v 1.10 2000/06/22 21:54:02 tale Exp $ -->
+
 <H2>C Language</H2>

 An ANSI standard C compiler and library are assumed.  Feel free to use any