← Back to team overview

dolfin team mailing list archive

  1. dolfin team
  2. Mailing list archive
  3. Message #25815

Development question - modified-headers in source files

  Thread Previous • Date Previous • • Thread Next 
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...

-j.

Follow ups

  Thread Previous • Date Previous • • Thread Next