dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #25817
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