← Back to team overview

dolfin team mailing list archive

Re: Development question - modified-headers in source files

 

On 21 August 2012 09:48, Joachim Berdal Haga <jobh@xxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxx
> 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


References