diff options
-rw-r--r-- | CIAO/ChangeLog | 6 | ||||
-rw-r--r-- | CIAO/docs/fm/CIAO.htm | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/CIAO/ChangeLog b/CIAO/ChangeLog index 94c7cf74987..4858252529b 100644 --- a/CIAO/ChangeLog +++ b/CIAO/ChangeLog @@ -1,3 +1,9 @@ +Thu Aug 12 14:04:30 UTC 2010 Adam Mitz <mitza@ociweb.com> + + * docs/fm/CIAO.htm: + + Added dollar-Id-dollar in HTML comment. + Wed Aug 11 20:47:38 UTC 2010 Adam Mitz <mitza@ociweb.com> * DAnCE/DAnCE/DAnCE_Core.mpc: diff --git a/CIAO/docs/fm/CIAO.htm b/CIAO/docs/fm/CIAO.htm index c8783dbf78e..b6d840f8c2b 100644 --- a/CIAO/docs/fm/CIAO.htm +++ b/CIAO/docs/fm/CIAO.htm @@ -1,4 +1,5 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN"><HTML> +<!-- $Id$ --> <HEAD> <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"> <META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css"> |