[Bug gjdoc/28382] [patch] remove timestamp in about.html and gjdoc.properties

[bkonrath at redhat dot com]

------- Comment #2 from bkonrath at redhat dot com  2006-07-14 23:10 -------
Created an attachment (id=11891)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11891&action=view)
patch to remove timestamps from gjdoc.properties and about.html

It seems there is a timestamp in gcjdoc.properties too. This patch works around
the timestamp by writing the file directly instead of using Properties.store().
Comments are appreciated.


-- 

bkonrath at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #11890|0                           |1
        is obsolete|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28382