[Project-managers] adding $Id$ to source code

[Stefan Vigerske]

Dear project managers,

Leo asks me to forward the following to you:


Folks,

You may consider adding the token $Id$ to each of your source files in
your projects, if you do not already do so. Adding this tag, then
setting the property svn:keywords to id, updates the token with
something similar to the following:

// $Id: osi.i 88 2006-10-23 23:57:50Z leolopes $

which includes the most recent version, the person responsible for the
change and the date. This is quite useful when going through code,
especially with a collaborator, to make sure people are always looking
at the same file.

Cheers,
Leo.



-- 
Stefan Vigerske
Humboldt University Berlin, Numerical Mathematics
http://www.math.hu-berlin.de/~stefan