diff options
| -rw-r--r-- | src/datestamp.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/datestamp.c b/src/datestamp.c index 71afbf28..a55dc9c4 100644 --- a/src/datestamp.c +++ b/src/datestamp.c @@ -6,10 +6,13 @@ @enddesc @@*/ + #include <stdio.h> #include "cctk_version.h" -static char *rcsid = "$Id$"; +static char *rcsid = "$Header$"; + +const char *CCTKi_version_src_datestamp_c(void) { return rcsid; } /*@@ @routine datastamp |