3 Aug
2005
3 Aug
'05
2:21 a.m.
On Aug 2, 2005, at 5:21 PM, Jonathan Turkanis wrote:
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?
The source is the right place to fix it, the generated docs are the easy place (for me) to fix it :) Doug