tree 730f0f1245a13cd913799f7013d4ec89cf742687
parent 8f075995365197791f1de9865042618517306301
author Julian Hyde <julianhyde@gmail.com> 1365183274 -0700
committer Julian Hyde <julianhyde@gmail.com> 1365183274 -0700

Enable version numbers based on build number. Update copyright year.