log

age author description
Tue, 13 May 2008 10:16:20 +0000 diego Use standard license headers.
Tue, 13 May 2008 08:36:44 +0000 diego Use standard license header with standard formatting.
Tue, 13 May 2008 08:34:59 +0000 diego Add standard license header.
Tue, 13 May 2008 08:33:48 +0000 diego Fix one more license header wording detail for consistency.
Tue, 13 May 2008 08:02:23 +0000 diego Use standard license header.
Tue, 13 May 2008 07:58:41 +0000 diego Fix typo in install-gui target dependency.
Mon, 12 May 2008 20:40:42 +0000 eugeni Cosmetics: remove some commented code.