Benoit Jacob 471b4d5092 handle mark's first commits before he configured his id		2009-10-20 21:53:54 -04:00
..
eigen_gen_credits	the answer to the ultimate question in life is: 664	2009-10-06 11:44:57 -04:00
eigen_gen_credits.cpp	handle mark's first commits before he configured his id	2009-10-20 21:53:54 -04:00
eigen_gen_docs	use provided $USER if available, let the caller do the update (safer)	2009-10-04 03:35:02 +02:00