
2 Aug
2005
2 Aug
'05
10:21 p.m.
Douglas Gregor wrote:
On Aug 2, 2005, at 10:52 AM, Jonathan Turkanis wrote:
I'll volunteer to fix as many of them as I can, if it's not too late to make it
We have numerous other little documentation fixes that will go into the release; please go ahead!
When documentation is automatically generated, should I change the source or the generated docs?
Doug
Jonathan