On 21 August 2012 09:48, Joachim Berdal Haga <j...@simula.no> wrote: > I was wondering -- is it necessary to keep the source headers up-to-date: > > Modified by Joachim B Haga 2012 > Last changed: 2012-08-20 > etc > > It's easy to forget, and the information is already in bzr in a much > more detailed and reliable form... >
I agree that we can (and probably should) drop the dates. It's useful to have names so that one can see at a glance who may own a share of the copyright. Garth > -j. > > _______________________________________________ > Mailing list: https://launchpad.net/~dolfin > Post to : dolfin@lists.launchpad.net > Unsubscribe : https://launchpad.net/~dolfin > More help : https://help.launchpad.net/ListHelp -- Garth N. Wells Department of Engineering, University of Cambridge http://www.eng.cam.ac.uk/~gnw20 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
