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

[bkonrath at redhat dot com]

------- Comment #8 from bkonrath at redhat dot com  2007-03-26 09:42 -------
Up to you. Since the patch is in the Fedora verision of gjdoc and Fedora won't
be using gjdoc anymore it doesn't matter to me if this patch gets committed or
not. It might be a good idea to hold off applying the patch since Mark didn't
think it was a good idea.


-- 


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