log

age author description
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.