diff options
| -rw-r--r-- | fluid/ide_maketools.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fluid/ide_maketools.cxx b/fluid/ide_maketools.cxx index 8cc8d8037..1fbb5e86d 100644 --- a/fluid/ide_maketools.cxx +++ b/fluid/ide_maketools.cxx @@ -92,7 +92,7 @@ public: int fput_copyright(const char *str, FILE *f) { fputs("#\n", f); - fputs("# \"$Id: $\"\n", f); + fputs("# \"$Id:$\"\n", f); fputs("#\n", f); fprintf(f, "# %s\n", str); fputs("#\n", f); @@ -124,7 +124,7 @@ public: int fput_footer(FILE *f) { fputs("\n", f); fputs("#\n", f); - fputs("# End of \"$Id: $\".\n", f); + fputs("# End of \"$Id:$\".\n", f); fputs("#\n", f); return 0; } |