tree 77cb054bcd25643979ca7f988ce547bfd474d888
parent 034e70078bf6684422d7c7f8f1a85aee925a935a
author Joe Gregorio <jcgregorio@google.com> 1292858768 -0500
committer Joe Gregorio <jcgregorio@google.com> 1292858768 -0500

clean up generated html files to reflect name changes