Convert $Id$ placeholders to $Header$ placeholders.

2026-08-22 14:17:43 +02:00 · 2020-05-23 17:00:38 -04:00
parent a5f050ce21
commit b28d10f80d
33 changed files with 35 additions and 35 deletions
@@ -17,7 +17,7 @@
 *  software outside of the United States of America may require an
 *  export license.
 *
- *  $Id$
+ *  $Header$
 *
 *************************************************************************/